Fix copyright header in gendocs.sh

[Ralf Wildenhues]

gendocs.sh wasn't using the exact copyright header text as proposed in
COPYINGv3.  I only noticed when I was updating Autoconf files to v3,
and yes, it is very nitpicky, so feel free to ignore.

Thanks for maintaining texinfo,
Ralf

2009-09-09  Ralf Wildenhues  <address@hidden>

        * build-aux/gendocs.sh: Fix copyright header to match GPLv3
        recommendation.

diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
index a1ed4b4..992d9fc 100755
--- a/build-aux/gendocs.sh
+++ b/build-aux/gendocs.sh
@@ -2,15 +2,15 @@
 # gendocs.sh -- generate a GNU manual in many formats.  This script is
 #   mentioned in maintain.texi.  See the help message below for usage details.
 
-scriptversion=2009-04-08.09
+scriptversion=2009-09-09.22
 
 # Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009
 # Free Software Foundation, Inc.
 #
-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 3 of the License,
-# or (at your option) any later version.
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
 #
 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of