From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24470 invoked by alias); 26 Sep 2002 17:40:24 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 24463 invoked from network); 26 Sep 2002 17:40:23 -0000 Received: from unknown (HELO localhost.redhat.com) (216.138.202.10) by sources.redhat.com with SMTP; 26 Sep 2002 17:40:23 -0000 Received: from redhat.com (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id A2DA63D12; Thu, 26 Sep 2002 13:40:18 -0400 (EDT) Message-ID: <3D934682.1060708@redhat.com> Date: Thu, 26 Sep 2002 10:40:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.0.0) Gecko/20020824 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Kevin Buettner Cc: Eli Zaretskii , gdb-patches@sources.redhat.com Subject: Re: [RFA] gdb.texinfo: Use GNU/Linux instead of Linux References: <1020921004722.ZM28135@localhost.localdomain> <9628-Sat21Sep2002113551+0300-eliz@is.elta.co.il> <1020925225930.ZM15134@localhost.localdomain> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2002-09/txt/msg00635.txt.bz2 > On Sep 21, 11:35am, Eli Zaretskii wrote: > > >> I think in gdb.texinfo the convention is to use @sc{gnu} throughout. > > > Okay. > > >> As for GNU/Linux, I'd suggest first to see whether @sc{gnu}/Linux >> looks fine in print, and then decide. Kevin, could you please TeX the >> manual and see whether the result is plausible? > > > Prior to this, I'd generated html and could see no difference. This > time I generated a pdf file. ``@sc{gnu}'' generates slightly smaller > characters and looks quite nice (IMO). > > >> Otherwise, okay. Thanks. > > > Committed. Kevin, can you please pull this into the 5.3 branch? Andrew