X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Flibrary%2FMakefile;h=97c823eec9ae649014277e9a018502d330ba6242;hb=27e887a450ec2fa9ffce73cd0354b00472d3a17e;hp=54ba00488a76c48dbb90a5e4630f294b69fa049e;hpb=195cfbf96b97814d11245d1936456b80d1886d8f;p=helm.git

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 54ba00488..97c823eec 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -6,7 +6,7 @@ SRC=\
 	nat.ma \
         Z.ma
 
-MATITAC=../scripts/do_tests.sh ../matitac /dev/null
+MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
 VERBOSEMATITAC=../matitac
 
 DEPEND_NAME=.depend