FWIW, it does catch things in Bison's documentation:
texinfo_see_xref
8008:@option{--verbose} are specified, see @xref{Invocation, , Invoking
10255:See @pxref{Java Action Features}.
10271:left-hand side of assignments. See @pxref{Java Semantic Values} and
10288:that implements the appropriate interface (see @pxref{Java Scanner
maint.mk: found use of "See @xref{}"
gmake: *** [sc_texinfo_see_xref] Error 1
0001-maint.mk-catch-see-xref.patch
Description: Binary data
