From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:24:06 +0000 (+0000)
Subject: remove matitamake binaries on clean
X-Git-Tag: V_0_1_2_1~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6565cd51fb866a80838003cd65dc00e4d5a9814b;p=helm.git

remove matitamake binaries on clean
---

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