X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FMakefile;h=edae652aecf7410f7a355e0e4363ecbe2886bfac;hb=7d9753115cb26bf27a739e9e1d753fd60b185c17;hp=c5a65b032ce300f12d56a71418730fb4278f7947;hpb=1d3c12109517e15a3310f0bf7a19e98992b3861c;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index c5a65b032..edae652ae 100644
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,5 @@
 DATE=$(shell date +%y%m%d)
-VERSION=1.0.0-rc1
+VERSION=1.0.0
 DIST=matitaprover---$(VERSION)
 
 all:
@@ -11,6 +11,7 @@ clean:
 
 dist:
 	mkdir -p $(DIST)/Sources
+	cp ReadMe $(DIST)
 	cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
 	cd $(DIST); ln -s Sources/matitaprover.native matitaprover
 	tar -cvzf $(DIST).tgz $(DIST)