Re: Fix doc index name on Windows

[Eli Zaretskii <eliz at gnu dot org>]

> Date: Thu, 25 Nov 2010 18:47:18 +0000
> From: Jonathan Larmour <jifl@eCosCentric.com>
> CC: gdb-patches@sourceware.org
> 
> On 25/11/10 18:23, Eli Zaretskii wrote:
> >> Date: Thu, 25 Nov 2010 17:40:07 +0000
> >> From: Jonathan Larmour <jifl@eCosCentric.com>
> >>
> >> When cross building GDB 7.2 to Windows I have found that the GDB
> >> documentation set generates HTML files named index.html and
> >> Index.html.
> > 
> > What version of Texinfo is that?
> 
> The tools I build are generated on a RHEL4 machine, which is therefore a
> bit on the older side intentionally for wider binary compatibility
> (although that doesn't affect docs, true). It's texinfo 4.7.

Then it's a bug in the cross-build version of makeinfo.  There's code
in makeinfo/node.c:cm_node to handle the case when a file name
produced from a node name clashes with a name of an existing file
(produced from some other node name), due to limitations of the
underlying filesystem.  What makeinfo does in that case is put all the
nodes whose names map to the same file name on that single file.  I
see this behavior in action in the Windows port of makeinfo 4.8, and
the code which does this was written long before Texinfo 4.7 was
released, so you must have it as well.

I guess whoever produced the cross-build environment didn't make sure
this feature is turned on, even though the RHEL4 filesystem does not
need this.

I don't like the name you suggest, "GDB Index".  That chapter is not
an index of GDB, it's an index of a manual.  I can go with something
like "Concept and Command Index" instead (and will accept such a patch
if you insist on fixing this in GDB), but I really think you should
take care of this in your cross-build environment, because that's
where the bug is.

Thanks.