Re: [PATCH 5/5] gdb/doc: more @command and @kbd

[Eli Zaretskii <eliz@gnu.org>]

> From: Andrew Burgess <aburgess@redhat.com>
> Cc: Andrew Burgess <aburgess@redhat.com>
> Date: Mon, 12 Oct 2026 19:54:30 +0100
> 
> I spotted some places in the docs where we used @code{...} to wrap a
> command name when we should be using @command{...}.  This commit
> started off with me just trying to fix these.
> 
> Some cases can get a little confusing though.  Consider the
> documentation that discusses the GDB 'make' command.  In talking about
> what this GDB command does the documentation references the external
> program 'make', which needs wrapping in @command{}, but there are also
> mentions of the GDB command itself, which needs wrapping with @kbd{}.
> 
> As these all seemed related I've tried to clean up as many of these as
> I could find.  As such, this commit is mostly changing things like
> @code and @samp to @command and @kbd as needed.
> ---
>  gdb/doc/gdb.texinfo | 128 ++++++++++++++++++++++----------------------
>  1 file changed, 64 insertions(+), 64 deletions(-)

Thanks, this is okay, with a couple of nits below fixed.

>  @item GNU make
>  @value{GDBN}'s build system relies on features only found in the GNU
> -make program.  Other variants of @code{make} will not work.
> +make program.  Other variants of @command{make} will not work.
   ^^^^
This should also be in @command.

> -To build @code{gdb} in a separate directory, run @file{configure}
> +To build @code{gdb} in a separate directory, run @command{configure}
            ^^^^^^^^^^
This should use @value{GDBN}.

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