From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-18952-listarch-gdb-patches=sourceware.cygnus.com@sources.redhat.com>
Received: (qmail 21899 invoked by alias); 25 Sep 2002 22:59:39 -0000
Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm
Precedence: bulk
List-Subscribe: <mailto:gdb-patches-subscribe@sources.redhat.com>
List-Archive: <http://sources.redhat.com/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sources.redhat.com>
List-Help: <mailto:gdb-patches-help@sources.redhat.com>, <http://sources.redhat.com/ml/#faqs>
Sender: gdb-patches-owner@sources.redhat.com
Received: (qmail 21891 invoked from network); 25 Sep 2002 22:59:38 -0000
Received: from unknown (HELO mx1.redhat.com) (66.187.233.31)
  by sources.redhat.com with SMTP; 25 Sep 2002 22:59:38 -0000
Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254])
	by mx1.redhat.com (8.11.6/8.11.6) with ESMTP id g8PMfdi29151
	for <gdb-patches@sources.redhat.com>; Wed, 25 Sep 2002 18:41:39 -0400
Received: from pobox.corp.redhat.com (pobox.corp.redhat.com [172.16.52.156])
	by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id g8PMxbf02373;
	Wed, 25 Sep 2002 18:59:37 -0400
Received: from localhost.localdomain (vpn50-41.rdu.redhat.com [172.16.50.41])
	by pobox.corp.redhat.com (8.11.6/8.11.6) with ESMTP id g8PMxaJ28256;
	Wed, 25 Sep 2002 18:59:36 -0400
Received: (from kev@localhost)
	by localhost.localdomain (8.11.6/8.11.6) id g8PMxUP15135;
	Wed, 25 Sep 2002 15:59:30 -0700
Date: Wed, 25 Sep 2002 15:59:00 -0000
From: Kevin Buettner <kevinb@redhat.com>
Message-Id: <1020925225930.ZM15134@localhost.localdomain>
In-Reply-To: "Eli Zaretskii" <eliz@is.elta.co.il>
        "Re: [RFA] gdb.texinfo: Use GNU/Linux instead of Linux" (Sep 21, 11:35am)
References: <1020921004722.ZM28135@localhost.localdomain> 
	<9628-Sat21Sep2002113551+0300-eliz@is.elta.co.il>
To: Eli Zaretskii <eliz@is.elta.co.il>
Subject: Re: [RFA] gdb.texinfo: Use GNU/Linux instead of Linux
Cc: gdb-patches@sources.redhat.com
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-SW-Source: 2002-09/txt/msg00626.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