1. Method screenshot moved to CicMathView where it belongs to.

[helm.git] / matita / matita / Makefile

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 06dde10858bb822ed2fcef3e3af14d57cb764aed..2d1fae4bf6fc2b0ad4ed3633a2a9c57cfa96cb8f 100644 (file)
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -43,9 +43,9 @@ MLI = \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
        virtuals.mli            \
+       cicMathView.mli         \
        matitaScript.mli        \
        predefined_virtuals.mli \
-       cicMathView.mli         \
        matitaMathView.mli      \
        matitaGui.mli           \
        $(NULL)