This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH, doc]: Rename Index node to prevent file collision
- From: Eli Zaretskii <eliz at gnu dot org>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: michael dot hope at linaro dot org, gdb-patches at sourceware dot org
- Date: Thu, 14 Jun 2012 19:42:44 +0300
- Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision
- References: <4FD94EC0.1000009@linaro.org> <Pine.LNX.4.64.1206141505070.24877@digraph.polyomino.org.uk>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> 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?