Re: [PATCH v3 16/16] [gdb/docs] sme: Document SME registers and features

Eli Zaretskii via Gdb-patches
2023-07-03T12:03:32Z

> Date: Mon, 3 Jul 2023 10:52:34 +0100
> Cc: gdb-patches@sourceware.org
> From: Luis Machado <luis.machado@arm.com>
>
> > Please use @command{gdbserver} instead of @code.
> >
>
> Is this the convention? I see 123 matches for @code{gdbserver}, but only 32 for
> @command{gdbserver}.

It's a convention, but it is relatively recent, and I didn't see a
need to convert all of the existing uses of @code to mean a program
(although such a patch will be welcome, if someone wants to do it).