X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FMakefile.in;h=58b4fc60b87919f12a1d931323e4d26f84ae93e6;hb=6565cd51fb866a80838003cd65dc00e4d5a9814b;hp=8714fafe1466d0f58d3fb9916de0c06265804e5c;hpb=e790d1d45f9b4dd4855918cde1a0b381c9a7e839;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 8714fafe1..58b4fc60b 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -153,6 +153,7 @@ clean:
 		cicbrowser cicbrowser.opt	\
 		matitadep matitadep.opt \
 		matitaclean matitaclean.opt \
+		matitamake matitamake.opt \
 		matitatop matitatop.opt
 distclean: clean
 	rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli