diff options
Diffstat (limited to 'build-aux/gendocs.sh')
| -rwxr-xr-x | build-aux/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index d15fd82ff9..33277d3ac1 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -2,7 +2,7 @@ # 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=2017-09-12.23 +scriptversion=2018-01-01.00 # Copyright 2003-2018 Free Software Foundation, Inc. # @@ -72,7 +72,7 @@ texarg="-t @finalout" version="gendocs.sh $scriptversion -Copyright 2017 Free Software Foundation, Inc. +Copyright 2018 Free Software Foundation, Inc. There is NO warranty. You may redistribute this software under the terms of the GNU General Public License. For more information about these matters, see the files named COPYING." |