[EMAIL PROTECTED] (Karl Berry) writes: > Proposed patch to gnulib below. > > Feel free to install it, as far as I'm concerned. Thanks.
Thanks. Is it OK to change the license to "GPLed build tool"? The output from the script isn't restricted, right? > 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 :). Agreed. /Simon
