From 6565cd51fb866a80838003cd65dc00e4d5a9814b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Sep 2005 13:24:06 +0000 Subject: [PATCH] remove matitamake binaries on clean --- helm/matita/Makefile.in | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2