matitaclean is necessary!

However, we need a fast ls method for this. Waiting for Zack's new getter...

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 553cde46d79bc7f2974d9c21fb2de6e56ad5cc62..69e33b3c768e130a34531d019f6be730b999ae20 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -6,8 +6,8 @@ SRC=\
        nat.ma \
         Z.ma
 
-MATITAC=../scripts/do_tests.sh ../matitac echo /dev/null
-MATITACOPT=../scripts/do_tests.sh ../matitac.opt echo /dev/null
+MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
+MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
 VERBOSEMATITAC=../matitac
 VERBOSEMATITACOPT=../matitac.opt