fixed makefiles to make it compile cleanly again

[helm.git] / helm / software / matita / Makefile

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1c11060d47be6837e0367c73696d959b16a41586..93b26cac91bfc283f20e785b5d3ba5d79efb5860 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -35,6 +35,7 @@ MLI = \
        matitaInit.mli          \
        matitaEngine.mli        \
        applyTransformation.mli \
+       matitaAutoGui.mli       \
        matitacLib.mli          \
        matitaprover.mli        \
        matitaGtkMisc.mli       \
@@ -61,7 +62,7 @@ MAINCMLI =                    \
        gragrep.mli             \
        $(NULL)
 # objects for matita (GTK GUI)
-ML = buildTimeConf.ml matitaGeneratedGui.ml matitaAutoGui.ml $(MLI:%.mli=%.ml)
+ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
 # objects for matitac (batch compiler)
 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
 MAINCML = $(MAINCMLI:%.mli=%.ml)