Re: [PATCH, doc]: Rename Index node to prevent file collision

Joseph S. Myers
2012-06-14T15:06:59Z

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>.

--
Joseph S. Myers
joseph@codesourcery.com