http://lists.gnu.org/archive/html/bug-texinfo/2010-09/msg00007.html
I missed it, don't know how. Sorry. I've (blindly :) installed the gendocs.sh patch in Texinfo now and will push it to gnulib tomorrow. Thanks much.
http://lists.gnu.org/archive/html/bug-texinfo/2010-09/msg00007.html
I missed it, don't know how. Sorry. I've (blindly :) installed the gendocs.sh patch in Texinfo now and will push it to gnulib tomorrow. Thanks much.