1) matitaMathView.ml splitted into cicMathView.ml + matitaMathView.ml

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 2f50ce4d5a2f5787f9eabbaec4c466f3964b393b..06dde10858bb822ed2fcef3e3af14d57cb764aed 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -45,6 +45,7 @@ MLI = \
        virtuals.mli            \
        matitaScript.mli        \
        predefined_virtuals.mli \
+       cicMathView.mli         \
        matitaMathView.mli      \
        matitaGui.mli           \
        $(NULL)