Re: libtool documentation missing Index.html

[Ralf Wildenhues]

Hello Carlo,

* Carlo Marcelo Arenas Belon wrote on Mon, Jul 12, 2010 at 12:37:15AM CEST:
> As can be seen by clicking on the HTML or HTML compressed (gzip tar) links
> in : 
> 
>   http://www.gnu.org/software/libtool/manual/
> 
> funny enough is not a bug on gendocs.sh or the documentation itself as I
> hadn't been able to reproduce it but probably just that the process was
> executed on a case sensitive filesystem (maybe a MAC) and therefore blowed
> away the documentation index (index.html) with the concept index (Index.html)

Thanks for the report and analysis, that seems about right I guess.
I replaced the files now with regenerated ones.

> the following patch should prevent that to happen but just rebuilding the
> documentation in a linux box would fix this for 2.2.10 without requiring
> any patching.

Hmm, I'm wondering whether it might not be nicer to eventually start
splitting up the Index into a couple of typed indices, as is done in
autoconf.html.

Cheers,
Ralf