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
