Re: [PATCH 3/5] gdb/doc: consistent formatting for on|off on @item lines

[Eli Zaretskii <eliz@gnu.org>]

> From: Andrew Burgess <aburgess@redhat.com>
> Cc: Andrew Burgess <aburgess@redhat.com>
> Date: Mon, 12 Oct 2026 19:54:28 +0100
> 
> When a command takes 'on' or 'off' as an option then we have a bunch
> of styles for how this is presented within a table's @item line:
> 
>   @item set logging enabled [on|off]
>   @item -past-main [@code{on}|@code{off}]
>   @item set auto-load python-scripts @r{[}on@r{|}off@r{]}
> 
> Of these the last seems to be the style that is most often used for
> new additions.  I think it's the correct one because:
> 
>   1. Use @r{...} to wrap the characters that are not part of the
>      command: [|], this ensures these characters are formatted as
>      normal text, not using the table style, which should be @kbd.
> 
>   2. Wrapping 'on' and 'off' in @code{...} is clearly wrong, there
>      are not code.  Using @samp{...} might work, but this isn't what
>      we currently do, and the 'on' and 'off' could be considered just
>      another part of the command, so using the table's default @kbd
>      style seems reasonable enough.
> 
> This commit updates some cases in the documentation which used the
> first two styles to use the third style, this makes things more
> consistent.
> ---
>  gdb/doc/gdb.texinfo | 78 ++++++++++++++++++++++-----------------------
>  gdb/doc/guile.texi  |  4 +--
>  gdb/doc/python.texi |  4 +--
>  3 files changed, 43 insertions(+), 43 deletions(-)

Thanks, this is okay.

Approved-By: Eli Zaretskii <eliz@gnu.org>