* libiberty.texi (Index): Fix html generation.
What problem are you trying to fix?
I suspect the problem is that, if you generate one HTML file per
section, you end up with "index.html" for (Index) replacing the
index.html that's the web site's index page.
Do you have a case insensitive file system or something?
Many Apache web servers have a case-insensitivity module, to correct
case when the user doesn't get it right. All Windows-based file
systems (think IIS) are case insensitive (NTFS can be otherwise if you
jump through hoops, but doing so breaks all the MS apps).