-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.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