-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