This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: patch for gdb.texinfo
- From: Eli Zaretskii <eliz at is dot elta dot co dot il>
- To: Dmitry Sivachenko <mitya at cavia dot pp dot ru>
- Cc: gdb-patches at sources dot redhat dot com
- Date: Sun, 27 Jan 2002 11:38:09 +0200 (IST)
- Subject: Re: patch for gdb.texinfo
On Sun, 27 Jan 2002, Dmitry Sivachenko wrote:
> Could you please apply the following patch to gdb.texinfo.
Thanks, I applied them with the exception of this one:
> -The command @code{info symbol 0x54320} yields similar results.
> +The command @samp{info symbol 0x54320} yields similar results.
> @xref{Symbols, info symbol}.
I didn't make this change because the GDB manual traditionally uses
@code for all the commands it describes.