X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=bbe22f7d159f6610d11a485c4a3c50eeeeb01aa5;hb=cdd019ea6419fc058a92b1aca950a4eff11188d1;hp=d8d81bf3713159caa7007221f6cd0922f7a13d9f;hpb=dcdbb979433a61e2ef2842d96604098728824416;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index d8d81bf37..bbe22f7d1 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -37,9 +37,9 @@ MLI = \
 	lablGraphviz.mli	\
 	matitaTypes.mli		\
 	matitaMisc.mli		\
+	applyTransformation.mli	\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	applyTransformation.mli	\
 	matitacLib.mli		\
 	matitaInit.mli		\
 	matitaGtkMisc.mli	\
@@ -53,9 +53,9 @@ MLI = \
 CMLI =				\
 	matitaTypes.mli		\
 	matitaMisc.mli		\
+	applyTransformation.mli	\
 	matitaEngine.mli	\
 	matitaExcPp.mli 	\
-	applyTransformation.mli	\
 	matitacLib.mli		\
 	matitaInit.mli		\
 	matitaWiki.mli		\