X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FMakefile;h=62b41c430a251bc29884325a2286c82de454f5db;hb=7be6aeb94aa8da17732511a4844bd108976f947f;hp=447a1874d8b77d4e9694f5680749ec25b31af263;hpb=6355ac16ff3996e16d9d9cfb08e4184bc7962f8b;p=helm.git

diff --git a/helm/Makefile b/helm/Makefile
index 447a1874d..62b41c430 100644
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -1,6 +1,6 @@
 
 BASENAME = matita
-VERSION = 0.1.0
+VERSION = @MATITA_VERSION@
 
 NULL =
 DISTDIR = $(BASENAME)-$(VERSION)
@@ -13,6 +13,7 @@ EXTRA_DIST = 			\
 	dist/INSTALL 		\
 	dist/README		\
 	dist/ChangeLog 		\
+	Makefile 		\
 	$(NULL)
 
 dist: export mktarball
@@ -24,6 +25,8 @@ export:
 	svn export ocaml $(DISTDIR)/ocaml
 	svn export matita $(DISTDIR)/matita
 	(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
+	mv $(DISTDIR)/ocaml $(DISTDIR)/libs
+	cp -r $(EXTRA_DIST) $(DISTDIR)
 
 mktarball:
 	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)