X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2F.depend;h=3edb819d088f2e6f2cf4be7b9094a0726995d5b4;hb=0373aa12449568c5aca2027d8e8773ea0c0fa4a5;hp=600449bb84bf94801db71481cfc8029f9965840c;hpb=dfb99fda45c1cd87a7c2fedcebb987f3220e0516;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/.depend b/helm/DEVEL/lablgtkmathview/.depend
index 600449bb8..3edb819d0 100644
--- a/helm/DEVEL/lablgtkmathview/.depend
+++ b/helm/DEVEL/lablgtkmathview/.depend
@@ -1,4 +1,5 @@
-gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo 
-gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx 
+gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
+gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
 gtkMathView.cmo: gtk_mathview.cmo 
 gtkMathView.cmx: gtk_mathview.cmx 
+gMathView.cmi: gtk_mathview.cmo