diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2023-01-21 00:30:29 -0600 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2023-01-21 00:30:29 -0600 |
commit | 3d6a114e3e16595e19a221d04f6db10bfd7e759d (patch) | |
tree | cf6b48ccf7047b774cbc7ed29ff21c2cee6ac1cf /build-aux | |
parent | 58df1197775b7a629c588ed3172c0ed0f3f0db4d (diff) | |
download | gnulib-3d6a114e3e16595e19a221d04f6db10bfd7e759d.tar.gz |
gendocs.sh comment spelling fix
Diffstat (limited to 'build-aux')
-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 9afe3100e1..1ad5cf4f5d 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=2023-01-01.00 +scriptversion=2023-01-21.00 # Copyright 2003-2023 Free Software Foundation, Inc. # @@ -55,7 +55,7 @@ unset use_texi2html MANUAL_TITLE= PACKAGE= EMAIL=webmasters@gnu.org # please override with --email -commonarg= # passed to all makeinfo/texi2html invcations. +commonarg= # passed to all makeinfo/texi2html invocations. dirargs= # passed to all tools (-I dir). dirs= # -I directories. htmlarg="--css-ref=https://www.gnu.org/software/gnulib/manual.css -c TOP_NODE_UP_URL=/manual" |