no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index 447a1874d8b77d4e9694f5680749ec25b31af263..62b41c430a251bc29884325a2286c82de454f5db 100644 (file)
--- 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)