...

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 0084e5e429f7489c5e7f3aa0ea33c4791e0f81be..0271b714a5566704a599af382be964fb34532b89 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -38,17 +38,14 @@ 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)