diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-01-01 09:43:19 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-01-01 09:44:11 -0800 |
| commit | eec12c00cf3f8c649297cf13fbbac6b0a27676de (patch) | |
| tree | b7783bedf8f40c95fe5f25cf2e297affd86ddd99 /build-aux/gendocs.sh | |
| parent | 2671376bcf8686359ccf2239ccc8353e3bc60c80 (diff) | |
| download | gnulib-eec12c00cf3f8c649297cf13fbbac6b0a27676de.tar.gz | |
maint: run 'make update-copyright'
Diffstat (limited to 'build-aux/gendocs.sh')
| -rwxr-xr-x | build-aux/gendocs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index 1241ee35aa..b8d4e18b26 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -2,9 +2,9 @@ # 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=2021-07-19.18 +scriptversion=2022-01-01.00 -# Copyright 2003-2021 Free Software Foundation, Inc. +# Copyright 2003-2022 Free Software Foundation, Inc. # # 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 @@ -73,7 +73,7 @@ texarg="-t @finalout" version="gendocs.sh $scriptversion -Copyright 2021 Free Software Foundation, Inc. +Copyright 2022 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." |