From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 6 Mar 2008 15:42:16 +0000 (+0000)
Subject: skipped freescale and dama_didactic
X-Git-Tag: make_still_working~5557
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5d38e056c11018a80908a90e9dfde23a76e8921;p=helm.git

skipped freescale and dama_didactic
---

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 2f19a7523..99570786c 100644
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -56,6 +56,8 @@ CLEAN_ON_DIST = 		\
 	components/license	\
 	matita/TPTP/	\
 	matita/dama/	\
+	matita/dama_didactic/	\
+	matita/library/freescale/	\
 	matita/contribs/	\
 	matita/library_auto/	\
 	$(NULL)