From 9309808a921398ddf4e01a6f3724673085f4b1e4 Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Fri, 4 Jan 2013 16:39:31 +1100 Subject: [PATCH] Exclude the .git directory from the source distribution. Mmakefile: As above. (I know that GNU tar has an --exclude-vcs option, but the BSD one doesn't.) --- Mmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mmakefile b/Mmakefile index 60cfd0439..33d31f67e 100644 --- a/Mmakefile +++ b/Mmakefile @@ -478,7 +478,7 @@ tar: $(GENERATED_DOCS) mv $$ROOTNAME/extras/quickcheck stuff-to-exclude; \ mv $$ROOTNAME/extras mercury-extras-$(VERSION); \ mv $$ROOTNAME mercury-compiler-$(VERSION); \ - tar -cf - mercury-compiler-$(VERSION) | \ + tar --exclude ".git" -cf - mercury-compiler-$(VERSION) | \ gzip -9 > mercury-compiler-$(VERSION).tar.gz; \ tar -cf - mercury-extras-$(VERSION) | \ gzip -9 > mercury-extras-$(VERSION).tar.gz; \