cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
cd $(DIST); ln -s Sources/matitaprover.native matitaprover
tar -cvzf $(DIST).tgz $(DIST)
cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
cd $(DIST); ln -s Sources/matitaprover.native matitaprover
tar -cvzf $(DIST).tgz $(DIST)