On-going porting to lablgtk3

[helm.git] / matita / matita / .depend

diff --git a/matita/matita/.depend b/matita/matita/.depend
index 27186142894d2fef684349d97626d42049016b21..e6ef084730932f0530148998f1fdc74b9013eb4f 100644 (file)
--- 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