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... _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
