rm -rf $(DISTDIR)
mkdir $(DISTDIR)
svn export ocaml $(DISTDIR)/ocaml
svn export matita $(DISTDIR)/matita
(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
rm -rf $(DISTDIR)
mkdir $(DISTDIR)
svn export ocaml $(DISTDIR)/ocaml
svn export matita $(DISTDIR)/matita
(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))