Re: gendocs.sh in gnulib?

[Paul Eggert]

Simon Josefsson <[EMAIL PROTECTED]> writes:

> Hi!  How about moving gendocs.sh to gnulib?

Fine with me.  Maybe this'll even prompt me to use gendocs.sh, though
I'll probably have to tweak it first...