removed assembly that was causing an out-of-memory on my pc (1GB memory)

diff --git a/Makefile b/Makefile
index 44b87c579a6b3216bbd663d1436cd4cd465bd15d..a4c4f179c3f3b55ede0fc13040dca54220a978ac 100644 (file)
--- 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          \