DATE=$(shell date +%y%m%d)
-VERSION=1.0.0-rc1
+VERSION=1.0.0
DIST=matitaprover---$(VERSION)
all:
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)