dist/INSTALL \
dist/README \
dist/ChangeLog \
+ Makefile \
$(NULL)
dist: export mktarball
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)