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 <[email protected]> * 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
