X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Flibrary%2FMakefile;h=b6d061531b84332ff0a362b86482e5c98f186e38;hb=50cd60bf5151b7c118ec4d592a374757bdf3158f;hp=e13b3e8a48d6c05fb5e07f19043e285192c24309;hpb=1276d3c7b85f4edc049a5d68a6120816fe64c806;p=helm.git

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index e13b3e8a4..b6d061531 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -32,7 +32,10 @@ verbose:
 %.opt:
 	$(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%)
 
-clean:
+clean_:
+	rm -f __*not_for_matita
+
+clean: clean_
 	$(H)$(MATITACLEAN) $(SRC)
 
 cleanall: