From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-92144-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 2088 invoked by alias); 14 Jun 2012 16:42:44 -0000
Received: (qmail 2040 invoked by uid 22791); 14 Jun 2012 16:42:43 -0000
X-SWARE-Spam-Status: No, hits=-1.6 required=5.0	tests=AWL,BAYES_00,KHOP_DNSBL_BUMP,KHOP_THREADED,RCVD_IN_DNSWL_NONE,RCVD_IN_HOSTKARMA_NO,RCVD_IN_MSPIKE_BL,RCVD_IN_MSPIKE_Z,SPF_SOFTFAIL
X-Spam-Check-By: sourceware.org
Received: from mtaout23.012.net.il (HELO mtaout23.012.net.il) (80.179.55.175)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 14 Jun 2012 16:42:30 +0000
Received: from conversion-daemon.a-mtaout23.012.net.il by a-mtaout23.012.net.il (HyperSendmail v2007.08) id <0M5M008008VURH00@a-mtaout23.012.net.il> for gdb-patches@sourceware.org; Thu, 14 Jun 2012 19:42:28 +0300 (IDT)
Received: from HOME-C4E4A596F7 ([87.69.210.75]) by a-mtaout23.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0M5M0088T92RPC70@a-mtaout23.012.net.il>; Thu, 14 Jun 2012 19:42:28 +0300 (IDT)
Date: Thu, 14 Jun 2012 16:42:00 -0000
From: Eli Zaretskii <eliz@gnu.org>
Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision
In-reply-to: <Pine.LNX.4.64.1206141505070.24877@digraph.polyomino.org.uk>
To: "Joseph S. Myers" <joseph@codesourcery.com>
Cc: michael.hope@linaro.org, gdb-patches@sourceware.org
Reply-to: Eli Zaretskii <eliz@gnu.org>
Message-id: <83ehphyhdn.fsf@gnu.org>
References: <4FD94EC0.1000009@linaro.org> <Pine.LNX.4.64.1206141505070.24877@digraph.polyomino.org.uk>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2012-06/txt/msg00477.txt.bz2

> Date: Thu, 14 Jun 2012 15:06:30 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: gdb-patches@sourceware.org
> 
> On Thu, 14 Jun 2012, Michael Hope wrote:
> 
> > Hi there.  This 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 
> <http://sourceware.org/ml/gdb-patches/2009-01/msg00298.html>.

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?  If not, can you describe how
you bump into this problem?