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.)
This commit is contained in:
Julien Fischer
2013-01-04 16:39:31 +11:00
parent 366f399efa
commit 9309808a92

View File

@@ -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; \