remove matitamake binaries on clean

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 8714fafe1466d0f58d3fb9916de0c06265804e5c..58b4fc60b87919f12a1d931323e4d26f84ae93e6 100644 (file)
--- 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