From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11766 invoked by alias); 14 Jun 2012 22:27:43 -0000 Received: (qmail 11752 invoked by uid 22791); 14 Jun 2012 22:27:42 -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-f43.google.com (HELO mail-wg0-f43.google.com) (74.125.82.43) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 14 Jun 2012 22:27:30 +0000 Received: by wgbdr1 with SMTP id dr1so1846492wgb.12 for ; Thu, 14 Jun 2012 15:27:29 -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=/40DIBuxWP1+kyw7C3Ggzhzh8+JP9xNIBTbB9Jh5p8I=; b=A4qTJeYSv22quxN4XmsX7P5PMDcurRObZh0jG4gpUeIt/4CUJOZTHmOjxMCz9I/SjA fgufxyMsDKvE2oX2iN+vlyJS0TSBrF3v9M34fZ84DFyGU1ncl2V+YNrasrdRAVNgShMc gcvXPGUPWGe8xOSrIpjClnA0cVpSjeWvHJV8Ze0x7rkBOoZYgikn/+DfXRXVKOdemimV 9YckCcM6adwe6H+iWKTejev8dzPeAhAeE+uNii+X1Hjpf/nBTYXOdd83ps53d0oJgsZH EPH6TrRK6Kxe3bB2StcY+VQ/d399DpViCNSQxMU5d6hlGm7BLArSjEApztn5MeA4VFRt 0ZKw== Received: by 10.180.84.6 with SMTP id u6mr49897543wiy.11.1339712845926; Thu, 14 Jun 2012 15:27:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.180.87.225 with HTTP; Thu, 14 Jun 2012 15:27:05 -0700 (PDT) In-Reply-To: <20120614220037.GO18729@adacore.com> References: <4FD94EC0.1000009@linaro.org> <83ehphyhdn.fsf@gnu.org> <20120614220037.GO18729@adacore.com> From: Michael Hope Date: Thu, 14 Jun 2012 22:27:00 -0000 Message-ID: Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision To: Joel Brobecker Cc: Eli Zaretskii , "Joseph S. Myers" , gdb-patches@sourceware.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQlsiL5zkGSZCR9LZoP/uwfUPaV3rB13MFWPRmRvGBCrUfIznVQQGcRp1xUshtZhlGmKlF50 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/msg00496.txt.bz2 On 15 June 2012 10:00, Joel Brobecker wrote: >> Yip. =A0We supply pre-built toolchains for Linux and Windows[1]. =A0The >> build is crtosstool-NG based, runs on Ubuntu Lucid, and uses the LSB >> compilers for Linux and the mingw cross compilers for Windows. =A0We >> cross-make the manuals the same as we cross-build the compiler. > > I think we do something similar as well. I do not think that this is > an uncommon situation when someone works with GNU software on multiple > platforms. > >> 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 think >> 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? Not in makeinfo 4.13b. There's been discussion upstream before about this with no conclusion: http://lists.gnu.org/archive/html/bug-texinfo/2008-12/msg00012.html http://lists.gnu.org/archive/html/bug-texinfo/2010-11/msg00033.html and on this list: http://sourceware.org/ml/gdb-patches/2010-11/msg00431.html http://sourceware.org/ml/gdb-patches/2009-01/msg00298.html nodename_to_filename_1() special cases the node 'Top' and rewrites it to 'index.html'. Perhaps it should special case if the node is called 'Index'? Eli, if that sounds OK to you then I'll propose a patch to bug-texinfo and get it into Ubuntu. texinfo seems to be dormant so it may be some time before the patch appears in a release. > And I am also wondering why they wouldn't just > always make sure that the names are always different, irrespective > of casing... Agreed. Host independent files like a manual shouldn't change based on build or host. -- Michael