X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2F.depend;h=9c5ccf8af5b851049d16954a284ad75495908239;hb=ed936515481f5035fde443f4aee55b86e427cef4;hp=f5fc89d5460cb600b244e19b0b48c899ee8d290f;hpb=e1f0bb910f75b8b21f2c5e394ebb4c5a63ef4945;p=helm.git

diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend
index f5fc89d54..9c5ccf8af 100644
--- a/helm/software/matita/.depend
+++ b/helm/software/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