minor Makefile fixes for the release

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index aa73b16474af712640bf0c9a2a74aa3a4d867a1a..0a5fc3e92079b31eb4e58fd0a3c701f32261cf8d 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -56,6 +56,13 @@ CLEAN_ON_DIST =              \
        components/license      \
        matita/TPTP/            \
        matita/contribs/        \
+       components/binaries/matitaprover/benchmarks/ \
+       matita/library/         \
+       matita/nlibrary/        \
+       matita/scripts/ \
+       matita/tests/   \
+       matita/lib/lambdaN/     \
+       matita/lib/lambda/      \
        $(NULL)
 EXTRA_DIST =                   \
        matita/AUTHORS          \