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

[helm.git] / Makefile

diff --git a/Makefile b/Makefile
index 2f19a75239a319b733934251d99ec792170a3831..a4c4f179c3f3b55ede0fc13040dca54220a978ac 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -56,8 +56,10 @@ CLEAN_ON_DIST =              \
        components/license      \
        matita/TPTP/    \
        matita/dama/    \
+       matita/dama_didactic/   \
        matita/contribs/        \
        matita/library_auto/    \
+       matita/library/assempbly/       \
        $(NULL)
 EXTRA_DIST =                   \
        matita/AUTHORS          \