From 95feccf6a5a02fdfbb9c45f723f01bac66af2708 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 7 Jan 2008 15:19:43 +0000
Subject: [PATCH] ..

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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 = 			\
-- 
2.39.2