X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;fp=helm%2Fmatita%2FMakefile.in;h=6d32e6eb749f669fc05e317b2a5cecb431d18ada;hb=c1f74c5fe5c69d3d830f6a58bc0e20c99d1fa8f7;hp=127f8a407638086f975ada39664ed1da040f4253;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 127f8a407..6d32e6eb7 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -42,7 +42,8 @@ CMOS =				\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
-	matitaInit.cmo	\
+	matitaInit.cmo		\
+	disambiguatePp.cmo	\
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
 	matitaExcPp.cmo 	\
@@ -52,6 +53,7 @@ CMOS =				\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
 	matitaGtkMisc.cmo	\
+	applyTransformation.cmo	\
 	matitaMathView.cmo 	\
 	matitaGui.cmo		\
 	$(NULL)
@@ -64,7 +66,8 @@ CCMOS =				\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
-	matitaInit.cmo \
+	matitaInit.cmo		\
+	disambiguatePp.cmo	\
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
 	matitaExcPp.cmo 	\