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 <
Ralf.Wildenhues@...>
* 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
