- matitacLib merged into matitaEngine

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index c76236dde220c2c895c8e99f046a12f54cb582c8..6dd65b61695fca6ff64752374ce4f5143a828b28 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -38,9 +38,8 @@ MLI = \
        matitaTypes.mli         \
        matitaMisc.mli          \
        applyTransformation.mli \
-       matitaEngine.mli        \
        matitaExcPp.mli         \
-       matitacLib.mli          \
+       matitaEngine.mli        \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
        virtuals.mli            \
@@ -53,9 +52,8 @@ CMLI =                                \
        matitaTypes.mli         \
        matitaMisc.mli          \
        applyTransformation.mli \
-       matitaEngine.mli        \
        matitaExcPp.mli         \
-       matitacLib.mli          \
+       matitaEngine.mli        \
        matitaInit.mli          \
        $(NULL)
 MAINCMLI =                     \