snapshot for camlp5 v5

[helm.git] / Makefile

diff --git a/Makefile b/Makefile
index 2f19a75239a319b733934251d99ec792170a3831..44b87c579a6b3216bbd663d1436cd4cd465bd15d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,7 @@ CLEAN_ON_DIST =               \
        components/license      \
        matita/TPTP/    \
        matita/dama/    \
+       matita/dama_didactic/   \
        matita/contribs/        \
        matita/library_auto/    \
        $(NULL)