2024-01-29 Patrice Dumas <pertusus@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.
# 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.
#
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\""