X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=bed070a5113122562e7824f2489c90746582f15e;hb=0f3081bec320860fbe2208e4d3314629e12a320f;hp=168dfa3051ec78d1f85a60b81c9f79d2b3d4ffdc;hpb=76c28672a95473ee68935a7ca09b69f9b2f9cdc8;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 168dfa305..bed070a51 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -107,7 +107,8 @@ clean:
 	rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o	\
 		matita matita.opt matitac matitac.opt	\
 		cicbrowser cicbrowser.opt	\
-		matitadep matitadep.opt
+		matitadep matitadep.opt \
+		matitaclean matitaclean.opt
 distclean: clean
 	rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
 	rm -f config.log config.status Makefile buildTimeConf.ml