X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2F.depend;h=d322c64f45642725510a93e7586703bc0b1baa98;hb=7668522147126e620258e6d22c16a2b0fa56feb4;hp=33e1356a1be73c88ef9428c6265a33dd184a7c30;hpb=ca8cb7b6303e56a91823b2a14891d7de0b0d4130;p=helm.git

diff --git a/helm/mathita/.depend b/helm/mathita/.depend
index 33e1356a1..d322c64f4 100644
--- a/helm/mathita/.depend
+++ b/helm/mathita/.depend
@@ -2,7 +2,8 @@ mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi
 mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi 
 mathitaGtkMisc.cmo: mathitaGtkMisc.cmi 
 mathitaGtkMisc.cmx: mathitaGtkMisc.cmi 
-mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi 
-mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx 
-mathita.cmo: mathitaGui.cmo 
+mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi mathitaGui.cmi 
+mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx mathitaGui.cmi 
+mathita.cmo: mathitaGui.cmi 
 mathita.cmx: mathitaGui.cmx 
+mathitaGui.cmi: mathitaGeneratedGui.cmi