X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2F.depend;h=1fea79aff883b6d24ea587326afc49300a4f632c;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=d322c64f45642725510a93e7586703bc0b1baa98;hpb=9c70cabfe7bcf809e746f2499902aa7f2f45ca6a;p=helm.git

diff --git a/helm/mathita/.depend b/helm/mathita/.depend
index d322c64f4..1fea79aff 100644
--- a/helm/mathita/.depend
+++ b/helm/mathita/.depend
@@ -4,6 +4,6 @@ mathitaGtkMisc.cmo: mathitaGtkMisc.cmi
 mathitaGtkMisc.cmx: mathitaGtkMisc.cmi 
 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 
+mathita.cmo: mathitaGeneratedGui.cmi mathitaGui.cmi 
+mathita.cmx: mathitaGeneratedGui.cmx mathitaGui.cmx 
+mathitaGui.cmi: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi