[PATCH] Fix html filenames on case insensitive filesystems.

[Carlos O'Donell]

On Thu, May 11, 2006 at 04:52:53PM +0100, Nick Clifton wrote:
> >Tested on i686-pc-linux-gnu, builds, produces html/info/man pages
> >correctly. I gave a quick glance through all the generated documentation
> >output and it looks to be correct.
> >
> >Ok to commit?
> 
> Approved - please apply.

OK, checked in with the changes moved to the 
appropriate subdirectory ChangeLog's.
 
Cheers,
Carlos.
-- 
Carlos O'Donell
CodeSourcery
carlos@codesourcery.com
(650) 331-3385 x716