X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2F.depend;h=e6ef084730932f0530148998f1fdc74b9013eb4f;hb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;hp=27186142894d2fef684349d97626d42049016b21;hpb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;p=helm.git

diff --git a/matita/matita/.depend b/matita/matita/.depend
index 271861428..e6ef08473 100644
--- a/matita/matita/.depend
+++ b/matita/matita/.depend
@@ -37,6 +37,8 @@ matitaGui.cmx : matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
     matitaMathView.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx \
     matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi
 matitaGui.cmi : matitaGuiTypes.cmi
+matitaGuiInit.cmo :
+matitaGuiInit.cmx :
 matitaGuiTypes.cmi : matitaGeneratedGui.cmo applyTransformation.cmi
 matitaInit.cmo : matitaExcPp.cmi buildTimeConf.cmo matitaInit.cmi
 matitaInit.cmx : matitaExcPp.cmx buildTimeConf.cmx matitaInit.cmi