X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2FMakefile.in;h=498577fa0f5f300f0f181ff162433be1d0da0aa5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=dd7f493a16b5549559e48f5e3e3d74179a3866bd;hpb=51a55115aa687a5ce1e9f1be1aefba47b6044eeb;p=helm.git

diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in
index dd7f493a1..498577fa0 100644
--- a/helm/helm_data/Makefile.in
+++ b/helm/helm_data/Makefile.in
@@ -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