From 3fe1d2cb44a8e30ba8ab4be578510d6482e1668c Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 10:53:51 +0000
Subject: [PATCH] release snapshot ...

---
 helm/Makefile       | 2 ++
 helm/dist/ChangeLog | 0
 2 files changed, 2 insertions(+)
 create mode 100644 helm/dist/ChangeLog

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
-- 
2.39.2