X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FMakefile;h=6dd65b61695fca6ff64752374ce4f5143a828b28;hb=b505ea98f76ba6defb31be73a6871c62136e5747;hp=c76236dde220c2c895c8e99f046a12f54cb582c8;hpb=9369b99d37875350d949661f91403f738e7bf732;p=helm.git

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index c76236dde..6dd65b616 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -38,9 +38,8 @@ MLI = \
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\
-	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	matitacLib.mli		\
+	matitaEngine.mli	\
 	matitaInit.mli		\
 	matitaGtkMisc.mli	\
 	virtuals.mli 		\
@@ -53,9 +52,8 @@ CMLI =				\
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\
-	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	matitacLib.mli		\
+	matitaEngine.mli	\
 	matitaInit.mli		\
 	$(NULL)
 MAINCMLI =			\