X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=127f8a407638086f975ada39664ed1da040f4253;hb=2bb6c98121db82a1c67565bb528787f2def7192d;hp=c489fe33d8e0b3f5ca89600683fb99fab642bff3;hpb=192884dae520029b152a3f69989e51cc8af158ce;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c489fe33d..127f8a407 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -39,14 +39,14 @@ CMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
 	matitaInit.cmo	\
 	matitaSync.cmo		\
-	matitacleanLib.cmo	\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
+	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
 	matitaScript.cmo	\
@@ -61,13 +61,13 @@ CCMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
 	matitaInit.cmo \
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
 	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\