]> matita.cs.unibo.it Git - helm.git/commitdiff
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:38:03 +0000 (10:38 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 2 Feb 2001 10:38:03 +0000 (10:38 +0000)
helm/helm_data/Makefile.in
helm/helm_data/helm_data.spec.in

index dd7f493a16b5549559e48f5e3e3d74179a3866bd..498577fa0f5f300f0f181ff162433be1d0da0aa5 100644 (file)
@@ -14,4 +14,10 @@ distclean: clean
        rm -f Makefile configure config.log config.cache config.status *.spec
        rm -rf dtd style
 
+dist:  clean
+       rm -rf ../@PACKAGE@-@VERSION@
+       mkdir ../@PACKAGE@-@VERSION@
+       cp -r * ../@PACKAGE@-@VERSION@
+       (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
+
 .PHONY: all install distclean
index fae80359cfc4ed89d706752da7497487bb2580bd..3c708af3a72d1a97eb2ca1cc85d3b77744604a44 100644 (file)
@@ -21,7 +21,7 @@ For more information see http://www.cs.unibo.it/helm
 
 %build
 cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install