From 3d6a114e3e16595e19a221d04f6db10bfd7e759d Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 21 Jan 2023 00:30:29 -0600 Subject: [PATCH] gendocs.sh comment spelling fix --- build-aux/gendocs.sh | 4 ++-- 1 file 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" -- 2.39.5