]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile.in
*** empty log message ***
[helm.git] / helm / interface / Makefile.in
index 0a0339e6f1f433562866e965755157e9348ef3c2..2e92fd82be5209443ca88ca55a638924640c1c54 100644 (file)
@@ -187,7 +187,7 @@ distclean: clean
 dist:   clean
        rm -rf ../@PACKAGE@-@VERSION@
        mkdir ../@PACKAGE@-@VERSION@
-       cp -r * ../@PACKAGE@-@VERSION@
+       cp -r * .depend ../@PACKAGE@-@VERSION@
        (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
 
 .PHONY: install distclean clean