first snapshot of separate compilation

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 168dfa3051ec78d1f85a60b81c9f79d2b3d4ffdc..bed070a5113122562e7824f2489c90746582f15e 100644 (file)
--- 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