---
ChangeLog | 4 ++--
build-aux/gendocs.sh | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 284fa17620..467a3d2fa8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -6644,9 +6644,9 @@
2024-01-29 Patrice Dumas <pertu...@free.fr>
- gendocs: get only targetted manual source and includes, when possible
+ gendocs: get only targeted manual source and includes, when possible
* build-aux/gendocs.sh: if makeinfo, based on version, has the
- --trace-includes option, gather only the targetted manual srcfile and
+ --trace-includes option, gather only the targeted manual srcfile and
the included files obtained with makeinfo --trace-includes. In that
case output include files to tar stdin and use -T-. Bruno Haible for
the version comparison and use of tar.
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
index 60447d4f5c..b888de4f8c 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=2024-01-27.16
+scriptversion=2024-06-07.07
# Copyright 2003-2024 Free Software Foundation, Inc.
#
@@ -437,7 +437,7 @@ d=`dirname $srcfile`
done
# if $MAKEINFO is recent enough, use --trace-includes on the
- # $srcfile to get the included files of the targetted manual only
+ # $srcfile to get the included files of the targeted manual only
base=`basename "$srcfile"`
cmd="$SETLANG $MAKEINFO $commonarg --trace-includes \"$base\""
--
2.43.0
