From: Paul Eggert Date: Sat, 21 Jan 2023 06:30:29 +0000 (-0600) Subject: gendocs.sh comment spelling fix X-Git-Tag: v1.0~1797 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=3d6a114e3e16595e19a221d04f6db10bfd7e759d;p=gnulib.git gendocs.sh comment spelling fix --- 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"