snapshot

[helm.git] / helm / mathita / .depend

diff --git a/helm/mathita/.depend b/helm/mathita/.depend
index d322c64f45642725510a93e7586703bc0b1baa98..1fea79aff883b6d24ea587326afc49300a4f632c 100644 (file)
--- 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