release snapshot ...

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index 447a1874d8b77d4e9694f5680749ec25b31af263..493f383da8b25d92d7dd785563d3f7101aa2d3c2 100644 (file)
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -13,6 +13,7 @@ EXTRA_DIST =                  \
        dist/INSTALL            \
        dist/README             \
        dist/ChangeLog          \
+       Makefile                \
        $(NULL)
 
 dist: export mktarball
@@ -24,6 +25,7 @@ export:
        svn export ocaml $(DISTDIR)/ocaml
        svn export matita $(DISTDIR)/matita
        (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
+       cp -r $(EXTRA_DIST) $(DISTDIR)
 
 mktarball:
        tar cvzf $(DISTDIR).tar.gz $(DISTDIR)