* build-aux/gendocs.sh: Fix quoting typo.
Problem reported by Bruno Haible in:
https://lists.gnu.org/r/bug-gnulib/2024-01/msg00085.html
# 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.12
+scriptversion=2024-01-27.16
# Copyright 2003-2024 Free Software Foundation, Inc.
#
done
tar -czhf "$abs_outdir/$PACKAGE.texi.tar.gz" \
- -- $pats ${source_extra-"$source_extra"} &&
+ -- $pats ${source_extra+"$source_extra"} &&
ls -l "$abs_outdir/$PACKAGE.texi.tar.gz"
) || exit
texi_tgz_size=`calcsize "$outdir/$PACKAGE.texi.tar.gz"`