From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4521 invoked by alias); 21 Sep 2002 08:35:26 -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 4511 invoked from network); 21 Sep 2002 08:35:26 -0000 Received: from unknown (HELO heimdall.inter.net.il) (192.114.186.17) by sources.redhat.com with SMTP; 21 Sep 2002 08:35:26 -0000 Received: from Zaretsky ([80.230.2.40]) by heimdall.inter.net.il (Mirapoint Messaging Server MOS 3.1.0.58-GA) with ESMTP id BTT04966; Sat, 21 Sep 2002 11:34:12 +0300 (IDT) Date: Sat, 21 Sep 2002 01:35:00 -0000 From: "Eli Zaretskii" To: kevinb@redhat.com Message-Id: <9628-Sat21Sep2002113551+0300-eliz@is.elta.co.il> CC: gdb-patches@sources.redhat.com In-reply-to: <1020921004722.ZM28135@localhost.localdomain> (message from Kevin Buettner on Fri, 20 Sep 2002 17:47:22 -0700) Subject: Re: [RFA] gdb.texinfo: Use GNU/Linux instead of Linux Reply-to: Eli Zaretskii References: <1020921004722.ZM28135@localhost.localdomain> X-SW-Source: 2002-09/txt/msg00549.txt.bz2 > Date: Fri, 20 Sep 2002 17:47:22 -0700 > From: Kevin Buettner > > While making the changes that Eli recommended to Jim's charset > documentation, I noticed some uses of Linux without the GNU/ prefix. > I assume that this is okay, but I wanted to check with Eli on the use > of @sc{gnu}. There seem to be uses of plain "GNU" in the docs and > other uses where @sc{gnu} is preferred. I don't understand the pros > and cons of each, so I thought I'd send check with Eli before > committing... I think in gdb.texinfo the convention is to use @sc{gnu} throughout. 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? Otherwise, okay. Thanks.