some improvements

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index ed5ebb320869dfc1329ce4b5839a75ac83d0f928..1b73fe2da0da33ac1b83959be43d1bc5af2c0924 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -34,9 +34,9 @@ CMOS =                                \
        matitaInit.cmo          \
        matitaExcPp.cmo         \
        matitaEngine.cmo        \
+       applyTransformation.cmo \
        matitacLib.cmo          \
        matitaprover.cmo        \
-       applyTransformation.cmo \
        matitaGtkMisc.cmo       \
        matitaScript.cmo        \
        matitaGeneratedGui.cmo  \
@@ -52,8 +52,8 @@ CCMOS =                               \
        matitaInit.cmo          \
        matitaExcPp.cmo         \
        matitaEngine.cmo        \
-       matitacLib.cmo          \
        applyTransformation.cmo \
+       matitacLib.cmo          \
        matitaWiki.cmo          \
        matitaprover.cmo        \
        $(NULL)