Reshaped structure of ocaml/ libraries, matita changed accordingly.

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 127f8a407638086f975ada39664ed1da040f4253..6d32e6eb749f669fc05e317b2a5cecb431d18ada 100644 (file)
--- 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         \