From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 10:53:51 +0000 (+0000)
Subject: release snapshot ...
X-Git-Tag: make_still_working~7686
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3fe1d2cb44a8e30ba8ab4be578510d6482e1668c;p=helm.git

release snapshot ...
---

diff --git a/helm/Makefile b/helm/Makefile
index 447a1874d..493f383da 100644
--- 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)
diff --git a/helm/dist/ChangeLog b/helm/dist/ChangeLog
new file mode 100644
index 000000000..e69de29bb