How about moving gendocs.sh to gnulib? Or, perhaps better, have
gnulib sync texinfo CVS for gendocs.sh?
I don't mind either way.
Proposed patch to gnulib below.
Feel free to install it, as far as I'm concerned. Thanks.
Paul -- gendocs.sh is a kludge that I inherited from a webmaster. Feel
free to hack on it in any way you'd like, it could only help :).
Best,
karl
