[m-rev.] diff: Don't include .gitignore files in source distribution tarballs

[Paul Bone]

Don't include .gitignore files in source distribution tarballs

Mmakefile:
    As above.
---
 Mmakefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Mmakefile b/Mmakefile
index 0c1c80d..30ce87e 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -492,7 +492,8 @@ tar: 	$(GENERATED_DOCS)
 			mv $$ROOTNAME/bytecode stuff-to-exclude; 	\
 		mv $$ROOTNAME/extras/quickcheck stuff-to-exclude;	\
 		mv $$ROOTNAME		mercury-srcdist-$(VERSION);	\
-		$(TAR) --exclude ".git" --dereference -cf - 		\
+		$(TAR) --exclude ".git" --exclude ".gitignore" 		\
+			--dereference -cf - 				\
 			mercury-srcdist-$(VERSION) | 			\
 			gzip -9 > mercury-srcdist-$(VERSION).tar.gz;	\
 		mv mercury-srcdist-$(VERSION)	$$ROOTNAME;		\
-- 
2.7.4