X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2FMakefile;h=0a5fc3e92079b31eb4e58fd0a3c701f32261cf8d;hb=c04c3ad1e1c5ff48ad9d91856050f1d8c0371289;hp=aa73b16474af712640bf0c9a2a74aa3a4d867a1a;hpb=68aad189a157255485177a8a632d44ac3ad73a09;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index aa73b1647..0a5fc3e92 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -56,6 +56,13 @@ CLEAN_ON_DIST = 		\
 	components/license	\
 	matita/TPTP/		\
 	matita/contribs/	\
+	components/binaries/matitaprover/benchmarks/ \
+	matita/library/		\
+	matita/nlibrary/	\
+	matita/scripts/	\
+	matita/tests/	\
+	matita/lib/lambdaN/	\
+	matita/lib/lambda/	\
 	$(NULL)
 EXTRA_DIST = 			\
 	matita/AUTHORS 		\