From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17831 invoked by alias); 17 Jun 2012 23:26:38 -0000 Received: (qmail 17820 invoked by uid 22791); 17 Jun 2012 23:26:38 -0000 X-SWARE-Spam-Status: No, hits=-3.1 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE X-Spam-Check-By: sourceware.org Received: from mail-wg0-f41.google.com (HELO mail-wg0-f41.google.com) (74.125.82.41) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sun, 17 Jun 2012 23:26:25 +0000 Received: by wgbds1 with SMTP id ds1so1021574wgb.0 for ; Sun, 17 Jun 2012 16:26:24 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding:x-gm-message-state; bh=xvttKbuESsh5SgTqbG0a+39JYTlyo1+5hP7JkNneuUw=; b=Uy+cn3AVaZtKgyxUQs/+YN5fcc/jg5RAgMjiQ9ZCkZG0wk5wjNtJSrAXAN8ff5L1a1 8iAyP8SswP6D9416hgHSD1bsLc5JHM/eeumk+iniQL/Tl+jn1ujerPem2pzLWY6+/7L9 LF887JzL80HzoTrbBu7+WvqlBCk+63p9X9/Gaw/trCN1nTHzDx8P83GALE9FNMi8qKAE OxsbSdOb676mYeCicZo4ylBDxSS9S05iwPaIcj5TZOPI7h4TvT75fI+BfLgqH7S2Om+y ss8x73KPIMYdwlJfGeZ/YJ66RctoPynWxN3rjR0UZiV1iJqeghxeo1osfeUzXZlBESUO ZzSQ== Received: by 10.216.217.135 with SMTP id i7mr6665340wep.218.1339975584390; Sun, 17 Jun 2012 16:26:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.180.87.225 with HTTP; Sun, 17 Jun 2012 16:26:04 -0700 (PDT) In-Reply-To: <83txydf2nj.fsf@gnu.org> References: <4FD94EC0.1000009@linaro.org> <83ehphyhdn.fsf@gnu.org> <20120614220037.GO18729@adacore.com> <83txydf2nj.fsf@gnu.org> From: Michael Hope Date: Sun, 17 Jun 2012 23:26:00 -0000 Message-ID: Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision To: Eli Zaretskii Cc: Joel Brobecker , joseph@codesourcery.com, gdb-patches@sourceware.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQmVKcmrsx4AGoxQVivMDmCk7two4qlTZ3gljYrC8f+BJPRlIhK/Zah5L/o/u09dQ6cTaQqz 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: 2012-06/txt/msg00562.txt.bz2 On 15 June 2012 19:35, Eli Zaretskii wrote: >> Date: Thu, 14 Jun 2012 15:00:37 -0700 >> From: Joel Brobecker >> Cc: Eli Zaretskii , >> =A0 =A0 =A0 "Joseph S. Myers" , >> =A0 =A0 =A0 gdb-patches@sourceware.org >> >> > The makeinfo manual says: """If makeinfo is run on a system which does >> > not distinguish case in filenames, nodes which are the same except for >> > case will also be folded into the same output file.""". =A0I don't thi= nk >> > that's valid here as the index is a special case: we shouldn't merge >> > the top level index.html with the output of a node called Index. >> >> I haven't checked, but is there a command-line option to force >> that behavior? And I am also wondering why they wouldn't just >> always make sure that the names are always different, irrespective >> of casing... > > makeinfo is no longer maintained. =A0It will be replaced in the next > Texinfo release with a Perl-based reimplementation from scratch, which > is said to give us all kinds of wonders, and where you should ask for > this feature. > > I have no idea when the next release will happen. =A0Until then, I would > suggest that the interested parties simply hack their own copies of > makeinfo to do what you need. This isn't ideal. The problem has been discussed multiple times over four years, affects at least four groups, and might be fixed by a rewrite that might come out in the future. Changing the node name works around a tools problem and makes the output the same for all hosts. I agree that 'Index' is more natural than 'GDB Index'. How about matching GCC, and call it the 'Concept Index' instead? -- Michael