onlinedocs/gcc/Index.html and index.html clash

[Marek Michalkiewicz]

Hello,

trying to copy the HTML manual - http://gcc.gnu.org/onlinedocs/gcc/ -
for someone to use on a non-networked win32 box, I noticed a problem:
there are two different files named index.html and Index.html.  While
not a problem on a case-sensitive Unix filesystem, Windows filesystems
are case-insensitive so one of these two files gets overwritten.

Would it be possible to rename Index.html (uppercase 'I') so it will
not clash, and update all links to that file?

Thanks,
Marek