X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;fp=matita%2FMakefile;h=97d74fdc4b1662661f02d006ca9ca40f429f676b;hb=c3d1ee401a6ca0c86fcdde733f301e2fe6978143;hp=a9cf7141d965fa507dae52ea03f4a45c39d0edfc;hpb=711e170c2deaa92289d9d4eb7c0e8aedbe62b5cb;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index a9cf7141d..97d74fdc4 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -33,10 +33,10 @@ MLI = \
 	matitaMisc.mli		\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	matitaInit.mli		\
 	applyTransformation.mli	\
-	matitaAutoGui.mli	\
 	matitacLib.mli		\
+	matitaInit.mli		\
+	matitaAutoGui.mli	\
 	matitaGtkMisc.mli	\
 	matitaScript.mli	\
 	matitaMathView.mli 	\
@@ -47,9 +47,9 @@ CMLI =				\
 	matitaMisc.mli		\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	matitaInit.mli		\
 	applyTransformation.mli	\
 	matitacLib.mli		\
+	matitaInit.mli		\
 	matitaWiki.mli		\
 	$(NULL)
 MAINCMLI =			\