X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=4c8e313fdda34273154d5594b76ea325feec429c;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=6595af73e5768fab4b52fe44e82b957ba82a4581;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 6595af73e..4c8e313fd 100644
--- 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	\