VERY EXPERIMENTAL:

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 0271b714a5566704a599af382be964fb34532b89..0084e5e429f7489c5e7f3aa0ea33c4791e0f81be 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -38,14 +38,17 @@ MLI = \
        matitaTypes.mli         \
        matitaMisc.mli          \
        applyTransformation.mli \
+       applyTransformationMml.mli      \
        matitaEngine.mli        \
        matitaExcPp.mli         \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
        virtuals.mli            \
        cicMathView.mli         \
+       cicMathViewMml.mli      \
        predefined_virtuals.mli \
        matitaMathView.mli      \
+       matitaMathViewMml.mli   \
        matitaScript.mli        \
        matitaGui.mli           \
        $(NULL)