Re: HTML index files broken

[Karl Berry]

Hi David,

1) There is no Texinfo 5.0, so I'm not sure what you're referring to
   there.  Presumably you just mean the latest texinfo release (4.13).
   (Or is the latest standalone texi2html 5.0 release involved somehow?)

2) Are you giving any options to gendocs.sh?

3) I'll look into it as soon as I have a chance, but that will probably
   be a couple of days.  Perhaps someone else here can get to it sooner.
   Perhaps it was a bug introduced in a recent revamping of gendocs.sh.

Thanks for the report,
Karl