New target cleantests.

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 44df23874bd3bf04f9f0f2cde98068308af80071..3d59960c0e68c37c58f0d8e8a9707078e289859c 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -165,7 +165,10 @@ tests: matitac matitadep matitaclean
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
        @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
        @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
-.PHONY: tests tests.opt
+cleantests: matitaclean
+       @(cd library && make clean)
+       @(cd tests && make clean)
+.PHONY: tests tests.opt cleantests
 
 tags: TAGS
 .PHONY: TAGS