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

index 8966646f9392ab392bb200a70643682a930c5de4..00c3893dce513c262f45ab04cc23dc40021a0672 100644 (file)
@@ -30,10 +30,18 @@ install:
        chmod 666 $(HELM_VAR_DIR)/servers.txt \
          $(HELM_VAR_DIR)/urls_of_uris.db
 
+clean:
+
 distclean:
        rm -f Makefile configure config.log config.cache config.status \
         etc/configuration.xml etc/helm-math-engine-configuration.xml \
         lib/configuration.pl helm-config helm_configuration.spec
 
+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 bfc2571908d69bf09a8df3fac98c534fa41b6b3a..3b569dec94fc89b8feba67813dc218ba7edc4461 100644 (file)
@@ -34,7 +34,7 @@ while test $# -gt 0; do
 
   case $1 in
     --version)
-      echo @HELM_VERSION@
+      echo @VERSION@
       ;;
     --prefix)
       echo @RESOLVED_PREFIX@