From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19276 invoked by alias); 14 Jun 2012 21:43:59 -0000 Received: (qmail 19267 invoked by uid 22791); 14 Jun 2012 21:43:58 -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-we0-f169.google.com (HELO mail-we0-f169.google.com) (74.125.82.169) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 14 Jun 2012 21:43:42 +0000 Received: by wefh52 with SMTP id h52so2135740wef.0 for ; Thu, 14 Jun 2012 14:43:41 -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=Nc7LI21AAYCtqMj71qyAK6XBB8EMF/0R8b1oP6dmbKA=; b=R7IHyYqPHcVxNRhd1C5wjdXIpFPzPJusvzfhkQ7+d3bx7cUbgD/4bf9MaLcu6lFwXA DEyl+m7ebE186H4MSq1xOgiSYByjlV7CB83OwxsGBk66bKC4oSOIwglqZNspV+ps/+O9 JA+bMvBHq5kFrQpTr+LJVX2m0ZU/294HblVg5ZUmrQfa0SNyUoJ+wfllyES3ei1bEe00 23PCbS1Dx7ZfmkJ8Q3CGkhy7TNZAnTWlHsKle86ZiTzxXkxjWykE8JGbReFt7krzy/Av j7+DLg91ilvFBPpGGy/pEaixAcboqGirh3lfSfrc/yTZA4XtQOweBDUgS7dpLQ5ckK5/ 0UZg== Received: by 10.180.105.234 with SMTP id gp10mr7403672wib.11.1339710221499; Thu, 14 Jun 2012 14:43:41 -0700 (PDT) MIME-Version: 1.0 Received: by 10.180.87.225 with HTTP; Thu, 14 Jun 2012 14:43:21 -0700 (PDT) In-Reply-To: <83ehphyhdn.fsf@gnu.org> References: <4FD94EC0.1000009@linaro.org> <83ehphyhdn.fsf@gnu.org> From: Michael Hope Date: Thu, 14 Jun 2012 21:43:00 -0000 Message-ID: Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision To: Eli Zaretskii Cc: "Joseph S. Myers" , gdb-patches@sourceware.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQlkos8ZA+4je56qqWrIawG84XjpREVQBvbnWeVW3VMYLUJJkB06lbpq7zY/mxvDCu8aLcvx 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/msg00494.txt.bz2 On 15 June 2012 04:42, Eli Zaretskii wrote: >> Date: Thu, 14 Jun 2012 15:06:30 +0000 (UTC) >> From: "Joseph S. Myers" >> cc: gdb-patches@sourceware.org >> >> On Thu, 14 Jun 2012, Michael Hope wrote: >> >> > Hi there. =A0This patch renames the 'Index' node in the GDB end user >> > documentation to 'GDB Index' >> > to prevent generating HTML filenames that differ only in case. >> >> This was rejected when I submitted it >> . > > Right, and I still would like very much to follow GNU practice in this > matter. > > Michael, is your setup also that you produce the HTML files on a Posix > host, but then deploy them on Windows? Yip. We supply pre-built toolchains for Linux and Windows[1]. The build is crtosstool-NG based, runs on Ubuntu Lucid, and uses the LSB compilers for Linux and the mingw cross compilers for Windows. We cross-make the manuals the same as we cross-build the compiler. 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.""". I 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. -- Michael