From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17197 invoked by alias); 4 Feb 2011 17:01:52 -0000 Received: (qmail 17185 invoked by uid 22791); 4 Feb 2011 17:01:51 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL,BAYES_00,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (38.113.113.100) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 04 Feb 2011 17:01:43 +0000 Received: (qmail 19000 invoked from network); 4 Feb 2011 17:01:41 -0000 Received: from unknown (HELO scottsdale.localnet) (pedro@127.0.0.2) by mail.codesourcery.com with ESMTPA; 4 Feb 2011 17:01:41 -0000 From: Pedro Alves To: Eli Zaretskii Subject: Re: [doc/gdbint] Mention some formatting guidelines for casts and unary operators Date: Fri, 04 Feb 2011 17:01:00 -0000 User-Agent: KMail/1.13.5 (Linux/2.6.35-25-generic; KDE/4.5.1; x86_64; ; ) Cc: gdb-patches@sourceware.org References: <201102011628.32860.pedro@codesourcery.com> <83zkqfeghr.fsf@gnu.org> In-Reply-To: <83zkqfeghr.fsf@gnu.org> MIME-Version: 1.0 Content-Type: Text/Plain; charset="iso-8859-15" Content-Transfer-Encoding: quoted-printable Message-Id: <201102041701.40260.pedro@codesourcery.com> X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2011-02/txt/msg00076.txt.bz2 On Friday 04 February 2011 18:50:40, Eli Zaretskii wrote: > > From: Pedro Alves > > Date: Tue, 1 Feb 2011 16:28:32 +0000 > >=20 > > Okay? >=20 > 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} =46rom 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, --=20 Pedro Alves