X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=Makefile;h=44b87c579a6b3216bbd663d1436cd4cd465bd15d;hb=2a4ee6db10333354003f6e3cd342298a82799ad4;hp=2f19a75239a319b733934251d99ec792170a3831;hpb=2dc2c36139df472d2e3fcefc7b28d7f4e34d0c0c;p=helm.git

diff --git a/Makefile b/Makefile
index 2f19a7523..44b87c579 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,7 @@ CLEAN_ON_DIST = 		\
 	components/license	\
 	matita/TPTP/	\
 	matita/dama/	\
+	matita/dama_didactic/	\
 	matita/contribs/	\
 	matita/library_auto/	\
 	$(NULL)