* new interface matitaTypes.mli

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 4d03f8dfc89781fab555e1e3af328dea8571353a..ac2ec13d3264ae155d5aeb85e6eff650d2e43654 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -48,8 +48,9 @@ CCMOS =                               \
        matitaSync.cmo          \
        matitaDisambiguator.cmo \
        matitaEngine.cmo        \
+       matitacleanLib.cmo      \
        matitacLib.cmo
-CLEANCMOS = $(CCMOS) matitacleanLib.cmo
+CLEANCMOS = $(CCMOS)
 
 
 all: matita matitac matitatop cicbrowser matitadep matitaclean