diff options
Diffstat (limited to 'usr.bin/man/man.sh')
| -rwxr-xr-x | usr.bin/man/man.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index a008029..cca7638 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -368,7 +368,9 @@ man_find_and_display() { if find_file $p $sect $MACHINE "$1"; then found_page=yes man_display_page - if [ -z "$aflag" ]; then + if [ -n "$aflag" ]; then + continue 2 + else return fi fi @@ -378,7 +380,9 @@ man_find_and_display() { if find_file $p $sect $MACHINE_ARCH "$1"; then found_page=yes man_display_page - if [ -z "$aflag" ]; then + if [ -n "$aflag" ]; then + continue 2 + else return fi fi @@ -387,7 +391,9 @@ man_find_and_display() { if find_file $p $sect '' "$1"; then found_page=yes man_display_page - if [ -z "$aflag" ]; then + if [ -n "$aflag" ]; then + continue 2 + else return fi fi |
