+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