Re: [PATCH] maint.mk: catch "see @xref{}"

[Karl Berry]

    > +# Similarly undesirable, "See @xref{...}" expands to "See *Note ...".

    Doesn't it actually expand to "See see *Note"?

Not that it matters since the comment was changed, but it would actually be
"See See *Note".