This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [doc/gdbint] Mention some formatting guidelines for casts and unary operators
- From: Pedro Alves <pedro at codesourcery dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Fri, 4 Feb 2011 17:01:39 +0000
- Subject: Re: [doc/gdbint] Mention some formatting guidelines for casts and unary operators
- References: <201102011628.32860.pedro@codesourcery.com> <83zkqfeghr.fsf@gnu.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{}?
-item @code{-x}
-@tab @code{- x}
+@item @code{@minus{}x}
+@tab @code{@minus{} x}
From info "(Texinfo)minus":
"You should not use `@minus{}' inside `@code'
or `@example' because the width distinction is
not made in the fixed-width font they use."
But it does indeed typeset a bit differently on html
at least. Did I get that "@code{@minus{}x}" right?
Thanks,
--
Pedro Alves