svn export components $(DISTDIR)/components
svn export matita $(DISTDIR)/matita
(cd $(DISTDIR) && find . -name .depend -exec rm \{\} \;)
svn export components $(DISTDIR)/components
svn export matita $(DISTDIR)/matita
(cd $(DISTDIR) && find . -name .depend -exec rm \{\} \;)