From 27e887a450ec2fa9ffce73cd0354b00472d3a17e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 16:29:19 +0000
Subject: [PATCH] ...

---
 helm/matita/library/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.2