matitac now automatically cleans a non empty baseuri

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 7a553445d20c4fcca7b5445785f85bb9131112fa..44df23874bd3bf04f9f0f2cde98068308af80071 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -49,8 +49,8 @@ CCMOS =                               \
        matitaDb.cmo            \
        matitaSync.cmo          \
        matitaDisambiguator.cmo \
-       matitaEngine.cmo        \
        matitacleanLib.cmo      \
+       matitaEngine.cmo        \
        matitacLib.cmo
 CLEANCMOS = $(CCMOS)
 MAKECMOS = $(CCMOS) matitamakeLib.cmo