Re: [PATCH 4/5] gdb/doc: make more use of @option{...} formatting

[Eli Zaretskii <eliz@gnu.org>]

> From: Andrew Burgess <aburgess@redhat.com>
> Cc: Andrew Burgess <aburgess@redhat.com>
> Date: Mon, 12 Oct 2026 19:54:29 +0100
> 
> I noticed that there are lots of places in our docs where command line
> options, either for GDB or for other programs (e.g. compilers) are
> formatted as either @code or @samp.

Historically, @option was not originally available in Texinfo, that's
why we have so many @samp instead.

> In this commit I made use of regexp replacement looking for anything
> that matched: "@(code|samp)\{-[^}]+\}" and if I was reasonably certain
> that it was a command line option I switched to use @option{...}.  If
> I had any doubt then I left things as they were.
> 
> I'm sure that there are places that I've missed, but hopefully this
> makes the docs a little better.
> ---
>  gdb/doc/gdb.texinfo | 350 ++++++++++++++++++++++----------------------
>  gdb/doc/guile.texi  |   4 +-
>  2 files changed, 177 insertions(+), 177 deletions(-)

Thanks, this is okay.

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