diff options
Diffstat (limited to 'man')
| -rwxr-xr-x | man/dummy-man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/dummy-man b/man/dummy-man index 65b85d555..bf31912b2 100755 --- a/man/dummy-man +++ b/man/dummy-man @@ -39,7 +39,7 @@ while test $# -gt 0; do done test $# -gt 0 || fatal_ "missing argument" -test $# -gt 1 || fatal_ "too many non-option arguments" +test $# -le 1 || fatal_ "too many non-option arguments" baseout=`basename_ "$output"` sed 's/^/WARNING: /' >&2 <<END |