no more assembly/ to skip

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 9e62f693582212ef20f5241590a34cf9e4c6696a..2f19a75239a319b733934251d99ec792170a3831 100644 (file)
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -57,7 +57,6 @@ CLEAN_ON_DIST =               \
        matita/TPTP/    \
        matita/dama/    \
        matita/contribs/        \
-       matita/library/assembly/        \
        matita/library_auto/    \
        $(NULL)
 EXTRA_DIST =                   \