]> matita.cs.unibo.it Git - helm.git/commitdiff
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:57:32 +0000 (10:57 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:57:32 +0000 (10:57 +0000)
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