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. On
Windows this unfortunately doesn't work as those names match each other.
The former is the front page and ToC, the latter is the genuine Index at
the end of the documentation.

The simplest solution is just to rename the Index at the end to have a
different node name. This is what other GNU documentation sets (GAS, BFD,
CPP, etc.) do. So that's what the attached patch (against current CVS) does.

I have a copyright assignment and check-in permissions. Okay to commit?

2010-11-25  Jonathan Larmour  <jifl@eCosCentric.com>

	* gdb.texinfo (Top): Rename Index to GDB Index to prevent clashes
	on Windows systems.
	(Help): Likewise.
	(Index): Likewise.
	* gdbint.texinfo (Top): Similar but with Index to GDB Internals Index.
	(GDB Internals Index): Likewise.

Jifl
-- 
eCosCentric Limited      http://www.eCosCentric.com/     The eCos experts
Barnwell House, Barnwell Drive, Cambridge, UK.       Tel: +44 1223 245571
Registered in England and Wales: Reg No 4422071.
------["Si fractum non sit, noli id reficere"]------       Opinions==mine