diff options
Diffstat (limited to 'Master/texmf-dist/doc/eplain/util/trimsee')
| -rw-r--r-- | Master/texmf-dist/doc/eplain/util/trimsee | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/eplain/util/trimsee b/Master/texmf-dist/doc/eplain/util/trimsee index 8af5ebe6434..00459956f47 100644 --- a/Master/texmf-dist/doc/eplain/util/trimsee +++ b/Master/texmf-dist/doc/eplain/util/trimsee @@ -1,6 +1,6 @@ #!/bin/sh - # (This file is public domain.) +# This file is part of the Eplain macro package. help () { @@ -25,7 +25,7 @@ EOF check_missing_arg () { - if (( $1 < 2 )); then + if test "$1" -lt 2; then echo "Missing argument to option '$2'" 1>&2 exit 1 fi |