* build-aux/make-info-dir: Avoid bashism (bug#70484).

(cherry picked from commit 42766f95e5c0e7eb9e21db964ed93c7e093cc0b9)

diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir
index 703abc7bd0a1f5dedb90b5b4106d50f29ea15043..214757bb65ba313aa5e0206db0e91571bac7f378 100755 (executable)
--- a/build-aux/make-info-dir
+++ b/build-aux/make-info-dir
@@ -33,7 +33,8 @@
 
 ## Header contains non-printing characters, so this is more
 ## reliable than using awk.
-cat <"${1?}" || exit
+test $# -ge 2 || exit 1
+cat <"$1"
 shift
 
 exec "${AWK-awk}" '
@@ -101,4 +102,4 @@ exec "${AWK-awk}" '
       if (data[dircat])
         printf "\n%s\n%s", topic[dircat], data[dircat]
   }
-' "${@?}"
+' "$@"