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

diff --git a/matita/matita/.depend b/matita/matita/.depend
index 271861428..c8ed208c3 100644
--- a/matita/matita/.depend
+++ b/matita/matita/.depend
@@ -12,11 +12,9 @@ lablGraphviz.cmo : lablGraphviz.cmi
 lablGraphviz.cmx : lablGraphviz.cmi
 lablGraphviz.cmi :
 matita.cmo : predefined_virtuals.cmi matitaScript.cmi matitaMisc.cmi \
-    matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi buildTimeConf.cmo \
-    applyTransformation.cmi
+    matitaInit.cmi matitaGui.cmi buildTimeConf.cmo applyTransformation.cmi
 matita.cmx : predefined_virtuals.cmx matitaScript.cmx matitaMisc.cmx \
-    matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx buildTimeConf.cmx \
-    applyTransformation.cmx
+    matitaInit.cmx matitaGui.cmx buildTimeConf.cmx applyTransformation.cmx
 matitaEngine.cmo : applyTransformation.cmi matitaEngine.cmi
 matitaEngine.cmx : applyTransformation.cmx matitaEngine.cmi
 matitaEngine.cmi : applyTransformation.cmi
@@ -25,9 +23,9 @@ matitaExcPp.cmx : matitaEngine.cmx matitaExcPp.cmi
 matitaExcPp.cmi :
 matitaGeneratedGui.cmo :
 matitaGeneratedGui.cmx :
-matitaGtkMisc.cmo : matitaTypes.cmi matitaGeneratedGui.cmo buildTimeConf.cmo \
+matitaGtkMisc.cmo : matitaGeneratedGui.cmo buildTimeConf.cmo \
     matitaGtkMisc.cmi
-matitaGtkMisc.cmx : matitaTypes.cmx matitaGeneratedGui.cmx buildTimeConf.cmx \
+matitaGtkMisc.cmx : matitaGeneratedGui.cmx buildTimeConf.cmx \
     matitaGtkMisc.cmi
 matitaGtkMisc.cmi : matitaGeneratedGui.cmo
 matitaGui.cmo : matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
@@ -37,6 +35,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