Re: gendocs.sh in gnulib?

[Karl Berry]

    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