*** empty log message ***

[helm.git] / helm / interface / Makefile.in

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 86ea2f501fd3ba0ec1d4a2c2697740bf4c30c54f..0a0339e6f1f433562866e965755157e9348ef3c2 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -180,10 +180,16 @@ clean:
 install:
        cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
 
-distclean:
+distclean: clean
        rm -f Makefile configuration.ml helm_wget configure config.log \
          config.cache config.status
 
+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: install distclean clean
 
 include .depend