+++ /dev/null
-gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo ogtkMathViewProps.cmo \
- gMathView.cmi
-gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx ogtkMathViewProps.cmx \
- gMathView.cmi
-gMathViewAux.cmo: gMathView.cmi gtkMathView.cmo gMathViewAux.cmi
-gMathViewAux.cmx: gMathView.cmx gtkMathView.cmx gMathViewAux.cmi
-gtkMathView.cmo: gtkMathViewProps.cmo gtk_mathview.cmo
-gtkMathView.cmx: gtkMathViewProps.cmx gtk_mathview.cmx
-gtkMathViewProps.cmo: gtk_mathview.cmo
-gtkMathViewProps.cmx: gtk_mathview.cmx
-ogtkMathViewProps.cmo: gtkMathViewProps.cmo
-ogtkMathViewProps.cmx: gtkMathViewProps.cmx
-gMathView.cmi: gtk_mathview.cmo
-gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo