]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs.sh comment spelling fix
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 21 Jan 2023 06:30:29 +0000 (00:30 -0600)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 21 Jan 2023 06:30:29 +0000 (00:30 -0600)
build-aux/gendocs.sh

index 9afe3100e1b93fa7087db36fc4c9db66f0e19b0a..1ad5cf4f5dc60bc22a09e96fb8707fe7b66883e3 100755 (executable)
@@ -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"