This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: Formatting of packet descriptions in GDB manual
> Date: Sun, 13 Nov 2005 12:12:47 -0500
> From: Daniel Jacobowitz <drow@false.org>
> Cc: Jim Blandy <jimb@red-bean.com>, gdb@sources.redhat.com
>
> On Sun, Nov 13, 2005 at 12:53:51AM +0200, Eli Zaretskii wrote:
> > > > @code{z}@code{3}@code{,}@var{addr}@code{,}@var{length}
> > > >
> > > > is it important to have `z', `3', and the comma typeset as 3 separate
> > > > characters, or is it okay to see a single string `z3,'? At the time I
> > > > looked at this section, the answer was not clear to me. You seem to
> > > > indicate that it's okay to produce a single string here, but what do
> > > > others think.
>
> I don't think they need to be typeset separately. In fact, I don't
> want them to be. You can't search for useful things in the info manual
> this way - to use search (rather than index) to reach the particular
> packet, you have to know where the quotes are and search for z'`3.
> Yuck.
This is a misunderstanding: by ``typeset separately'' I meant `z 3'
(as opposed to `z3'), not `z'`3'.