html generation fix for libiberty

[Mike Stump]

On Friday, November 12, 2004, at 06:29  PM, DJ Delorie wrote:
>> 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.
>
> Note: IMHO the correct solution to this "problem" is to fix the HTML
> generation software to avoid such conflicts.

We are all agreed on this point.