From 0579a7526917df6d4e1dde40c3811acce77ab52c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 25 Nov 2007 15:51:01 +0000
Subject: [PATCH] removed assembly that was causing an out-of-memory on my pc
 (1GB memory)

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

diff --git a/Makefile b/Makefile
index 44b87c579..a4c4f179c 100644
--- a/Makefile
+++ b/Makefile
@@ -59,6 +59,7 @@ CLEAN_ON_DIST = 		\
 	matita/dama_didactic/	\
 	matita/contribs/	\
 	matita/library_auto/	\
+	matita/library/assempbly/	\
 	$(NULL)
 EXTRA_DIST = 			\
 	matita/AUTHORS 		\
-- 
2.39.2