maxipatch for support of multiple DBs.

[helm.git] / matita / .depend

diff --git a/matita/.depend b/matita/.depend
index f5fc89d5460cb600b244e19b0b48c899ee8d290f..9c5ccf8af5b851049d16954a284ad75495908239 100644 (file)
--- a/matita/.depend
+++ b/matita/.depend
@@ -36,8 +36,10 @@ matitaGui.cmo: matitaprover.cmi matitamakeLib.cmi matitaTypes.cmi \
 matitaGui.cmx: matitaprover.cmx matitamakeLib.cmx matitaTypes.cmx \
     matitaScript.cmx matitaMisc.cmx matitaMathView.cmx matitaGtkMisc.cmx \
     matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi 
-matitaInit.cmo: matitamakeLib.cmi buildTimeConf.cmo matitaInit.cmi 
-matitaInit.cmx: matitamakeLib.cmx buildTimeConf.cmx matitaInit.cmi 
+matitaInit.cmo: matitamakeLib.cmi matitaExcPp.cmi buildTimeConf.cmo \
+    matitaInit.cmi 
+matitaInit.cmx: matitamakeLib.cmx matitaExcPp.cmx buildTimeConf.cmx \
+    matitaInit.cmi 
 matitamakeLib.cmo: buildTimeConf.cmo matitamakeLib.cmi 
 matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi 
 matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi