]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/Makefile
some refactoring
[helm.git] / matita / matita / Makefile
index 2f50ce4d5a2f5787f9eabbaec4c466f3964b393b..0271b714a5566704a599af382be964fb34532b89 100644 (file)
@@ -43,9 +43,10 @@ MLI = \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
        virtuals.mli            \
-       matitaScript.mli        \
+       cicMathView.mli         \
        predefined_virtuals.mli \
        matitaMathView.mli      \
+       matitaScript.mli        \
        matitaGui.mli           \
        $(NULL)
 CMLI =                         \