matitac now compiles like make (recorsively) if needed.

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 6595af73e5768fab4b52fe44e82b957ba82a4581..4c8e313fdda34273154d5594b76ea325feec429c 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -28,6 +28,7 @@ ifeq ($(NODB),true)
 endif
 
 MLI = \
+        make.mli               \
        lablGraphviz.mli        \
        matitaTypes.mli         \
        matitaMisc.mli          \
@@ -45,6 +46,7 @@ MLI = \
        matitaGui.mli           \
        $(NULL)
 CMLI =                         \
+        make.mli               \
        matitaTypes.mli         \
        matitaMisc.mli          \
        matitamakeLib.mli       \