[PATCH 07/10] gdb: add qMachineId packet

[Eli Zaretskii]

> From: Andrew Burgess <aburgess@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Fri, 25 Aug 2023 15:49:00 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Btw, when a sentence starts with "See @ref", you could simplify by
> > using @xref, as that is its main purpose.
> 
> When generating the 'info' docs @xref doesn't add the 'See' prefix, but
> when generating the pdf 'See' is added.  I guess this explains why 'See
> @ref' is common throughout the GDB manual.

No, @xref always produces "See".  Where did you see it without "See"?