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

diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir
index e5f4972902fc9686957080e65506c2acc7e14ab1..631fe533e691ba3fe1901f9d89402f50bef4a141 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]
   }
-' "${@?}"
+' "$@"