reorganized metas so that pxp is references only through helm-pxp

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

diff --git a/helm/mathita/.depend b/helm/mathita/.depend
index d55a5e4889198c12f470ef51a72631f2ab681b43..d322c64f45642725510a93e7586703bc0b1baa98 100644 (file)
--- a/helm/mathita/.depend
+++ b/helm/mathita/.depend
@@ -1,4 +1,9 @@
-mathitaGui.cmo: mathitaGui.cmi 
-mathitaGui.cmx: mathitaGui.cmi 
+mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi 
+mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi 
+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