[PATCH] Fix html filenames on case insensitive filesystems.

[Carlos O'Donell]

On Mon, May 15, 2006 at 12:11:15PM +1000, Ben Elliston wrote:
> > The binutils html manuals are built using "makeinfo --html", which
> > converts @node names directly into <node>.html when splitting the
> > html files. In a case insensitive filesystem this causes certains
> > files to conflict.
> 
> Perhaps you should report this problem to the Texinfo maintainer, too?
> At the very least, makeinfo could complain about this condition.  A
> better alternative might be to mangle the output filenames a bit so
> that the user need not be concerned with this.

Issue sent to bug-texinfo@ggnu.org.

Nick, I missed a manul in my first sweep. It's interesting that
"Index.html" is a pretty passable "index.html" for all the manuals :)

Builds without regressions on i686-pc-linux-gnu.

OK to commit?

Cheers,
Carlos.
-- 
Carlos O'Donell
CodeSourcery
carlos@codesourcery.com
(650) 331-3385 x716

2006-05-16  Carlos O'Donell  <carlos@codesourcery.com>

	* doc/binutils.texi: Use "Binutils Index" for index name.

Index: doc/binutils.texi
===================================================================
RCS file: /cvs/src/src/binutils/doc/binutils.texi,v
retrieving revision 1.91
diff -u -p -r1.91 binutils.texi
--- doc/binutils.texi	2 May 2006 14:20:46 -0000	1.91
+++ doc/binutils.texi	16 May 2006 20:02:25 -0000
@@ -172,7 +172,7 @@ section entitled "GNU Free Documentation
 * Selecting The Target System:: How these utilities determine the target.
 * Reporting Bugs::              Reporting Bugs
 * GNU Free Documentation License::  GNU Free Documentation License
-* Index::                       Index
+* Binutils Index::                       Binutils Index
 @end menu
 
 @node ar
@@ -3898,8 +3898,8 @@ things without first using the debugger 
 
 @include fdl.texi
 
-@node Index
-@unnumbered Index
+@node Binutils Index
+@unnumbered Binutils Index
 
 @printindex cp