+++ /dev/null
-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