From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26167 invoked by alias); 14 Jun 2012 15:06:59 -0000 Received: (qmail 26152 invoked by uid 22791); 14 Jun 2012 15:06:58 -0000 X-SWARE-Spam-Status: No, hits=-4.3 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_HOSTKARMA_W,RCVD_IN_HOSTKARMA_WL X-Spam-Check-By: sourceware.org Received: from relay1.mentorg.com (HELO relay1.mentorg.com) (192.94.38.131) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 14 Jun 2012 15:06:34 +0000 Received: from nat-ies.mentorg.com ([192.94.31.2] helo=EU1-MAIL.mgc.mentorg.com) by relay1.mentorg.com with esmtp id 1SfBd3-00061o-1l from joseph_myers@mentor.com ; Thu, 14 Jun 2012 08:06:33 -0700 Received: from digraph.polyomino.org.uk ([172.16.63.104]) by EU1-MAIL.mgc.mentorg.com with Microsoft SMTPSVC(6.0.3790.1830); Thu, 14 Jun 2012 16:06:31 +0100 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.74) (envelope-from ) id 1SfBd0-0007dK-EI; Thu, 14 Jun 2012 15:06:30 +0000 Date: Thu, 14 Jun 2012 15:06:00 -0000 From: "Joseph S. Myers" To: Michael Hope cc: gdb-patches@sourceware.org Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision In-Reply-To: <4FD94EC0.1000009@linaro.org> Message-ID: References: <4FD94EC0.1000009@linaro.org> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII 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/msg00471.txt.bz2 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 . -- Joseph S. Myers joseph@codesourcery.com