...

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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index d8d81bf3713159caa7007221f6cd0922f7a13d9f..bbe22f7d159f6610d11a485c4a3c50eeeeb01aa5 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -37,9 +37,9 @@ MLI = \
        lablGraphviz.mli        \
        matitaTypes.mli         \
        matitaMisc.mli          \
+       applyTransformation.mli \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       applyTransformation.mli \
        matitacLib.mli          \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
@@ -53,9 +53,9 @@ MLI = \
 CMLI =                         \
        matitaTypes.mli         \
        matitaMisc.mli          \
+       applyTransformation.mli \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       applyTransformation.mli \
        matitacLib.mli          \
        matitaInit.mli          \
        matitaWiki.mli          \