added mathitaGui.mli

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

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