now baseuri is needed in each file (and its redefinition is forbidden)

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 43a62c6f5110d85a2ee4972a4133f58ddf715911..57893de42a9f16ff6280f9df743b2d2604fd1a46 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -21,6 +21,7 @@ CMOS =                                \
        buildTimeConf.cmo       \
        matitaLog.cmo           \
        matitaTypes.cmo         \
+       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitaSync.cmo          \
@@ -36,6 +37,7 @@ CCMOS =                               \
        buildTimeConf.cmo       \
        matitaLog.cmo           \
        matitaTypes.cmo         \
+       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitaSync.cmo          \