]> Savannah Git Hosting - gnulib.git/commitdiff
Fix typo in previous patch
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 28 Jan 2024 00:13:50 +0000 (16:13 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 28 Jan 2024 00:15:03 +0000 (16:15 -0800)
* build-aux/gendocs.sh: Fix quoting typo.
Problem reported by Bruno Haible in:
https://lists.gnu.org/r/bug-gnulib/2024-01/msg00085.html

build-aux/gendocs.sh

index 9b601010a15621039fc7c190df49e567f4710a5e..bdf105e02bfd06c469a8d3ba5b47bde96dfcb90c 100755 (executable)
@@ -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.12
+scriptversion=2024-01-27.16
 
 # Copyright 2003-2024 Free Software Foundation, Inc.
 #
@@ -430,7 +430,7 @@ d=`dirname $srcfile`
   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"`