X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2F.depend;h=d322c64f45642725510a93e7586703bc0b1baa98;hb=1145c5ea2e31055388f5f02c6382429a11fd5dd9;hp=d55a5e4889198c12f470ef51a72631f2ab681b43;hpb=012882cec674d741f69fce307a6822a584fd6a45;p=helm.git

diff --git a/helm/mathita/.depend b/helm/mathita/.depend
index d55a5e488..d322c64f4 100644
--- 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