From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 6 Mar 2008 15:32:47 +0000 (+0000)
Subject: no more assembly/ to skip
X-Git-Tag: make_still_working~5560
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd3fd1d9e91e1975853a3942aad626f1522c8374;p=helm.git

no more assembly/ to skip
---

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 9e62f6935..2f19a7523 100644
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -57,7 +57,6 @@ CLEAN_ON_DIST = 		\
 	matita/TPTP/	\
 	matita/dama/	\
 	matita/contribs/	\
-	matita/library/assembly/	\
 	matita/library_auto/	\
 	$(NULL)
 EXTRA_DIST = 			\