X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2F.depend;h=9d1c6ed82e130d13ef06a6cb970ce5deb44796e7;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=3edb819d088f2e6f2cf4be7b9094a0726995d5b4;hpb=e3ce1d44f0621654615afa6ed6a1896ea4c25b02;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/.depend b/helm/DEVEL/lablgtkmathview/.depend
index 3edb819d0..9d1c6ed82 100644
--- a/helm/DEVEL/lablgtkmathview/.depend
+++ b/helm/DEVEL/lablgtkmathview/.depend
@@ -1,5 +1,10 @@
 gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
 gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
+gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gtk_mathview.cmo \
+    gMathViewAux.cmi 
+gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gtk_mathview.cmx \
+    gMathViewAux.cmi 
 gtkMathView.cmo: gtk_mathview.cmo 
 gtkMathView.cmx: gtk_mathview.cmx 
 gMathView.cmi: gtk_mathview.cmo 
+gMathViewAux.cmi: gMathView.cmi