Re: [doc/gdbint] Mention some formatting guidelines for casts and unary operators

[Pedro Alves <pedro at codesourcery dot com>]

On Friday 04 February 2011 18:29:10, Eli Zaretskii wrote:
> > From: Pedro Alves <pedro@codesourcery.com>
> > Date: Fri, 4 Feb 2011 17:01:39 +0000
> > Cc: gdb-patches@sourceware.org
> > 
> > On Friday 04 February 2011 18:50:40, Eli Zaretskii wrote:
> > > > From: Pedro Alves <pedro@codesourcery.com>
> > > > Date: Tue, 1 Feb 2011 16:28:32 +0000
> > > > 
> > > > Okay?
> > > 
> > > Yes, but please use ``@minus{}'' instead of ``-'' to produce the minus
> > > sign.  ``-'' produces a dash character, which is typeset slightly
> > > differently in the printed version of the manual.
> > 
> > Hmm, I'm confused.  You mean @minus within @code{}?
> 
> No, I meant @minus{}@code{x}.  But if that doesn't look right in print
> (or PDF), feel free to disregard and use your original text.

Thanks.  I went with the original text.  @minus{}@code{x}
didn't look right both in html or in pdf (the ones I tried),
because '-' uses a different font than the 'x' and the
other surrounding text that way.

-- 
Pedro Alves