From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Jan 2008 15:19:43 +0000 (+0000)
Subject: ..
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=95feccf6a5a02fdfbb9c45f723f01bac66af2708

..
---

diff --git a/Makefile b/Makefile
index 44b87c579..035ab0a47 100644
--- a/Makefile
+++ b/Makefile
@@ -58,6 +58,7 @@ CLEAN_ON_DIST = 		\
 	matita/dama/	\
 	matita/dama_didactic/	\
 	matita/contribs/	\
+	matita/library/assembly/	\
 	matita/library_auto/	\
 	$(NULL)
 EXTRA_DIST = 			\