X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=127f8a407638086f975ada39664ed1da040f4253;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c489fe33d8e0b3f5ca89600683fb99fab642bff3;hpb=ec57b172235af36adc9bf709bf6488edd4ec8544;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		\