Re: Fix copyright header in gendocs.sh

[Karl Berry]

    Subject: Fix copyright header in gendocs.sh

Installed, thanks.  I'll update the gnulib copy too, in due course.