beginning to see the light

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index a9cf7141d965fa507dae52ea03f4a45c39d0edfc..97d74fdc4b1662661f02d006ca9ca40f429f676b 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -33,10 +33,10 @@ MLI = \
        matitaMisc.mli          \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       matitaInit.mli          \
        applyTransformation.mli \
-       matitaAutoGui.mli       \
        matitacLib.mli          \
+       matitaInit.mli          \
+       matitaAutoGui.mli       \
        matitaGtkMisc.mli       \
        matitaScript.mli        \
        matitaMathView.mli      \
@@ -47,9 +47,9 @@ CMLI =                                \
        matitaMisc.mli          \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       matitaInit.mli          \
        applyTransformation.mli \
        matitacLib.mli          \
+       matitaInit.mli          \
        matitaWiki.mli          \
        $(NULL)
 MAINCMLI =                     \