diff options
| author | Joerg Wunsch <joerg@FreeBSD.org> | 1995-04-01 11:43:09 +0000 |
|---|---|---|
| committer | Joerg Wunsch <joerg@FreeBSD.org> | 1995-04-01 11:43:09 +0000 |
| commit | f000edcf922cf1c28467ca297c6fbf78f5cba148 (patch) | |
| tree | 274f9117cc8994ebfdc7f7cd97933b5feb890b28 | |
| parent | a6ae8257a8626c39f29254bf8b91e0b35c46c34c (diff) | |
Notes
| -rw-r--r-- | gnu/usr.bin/man/makewhatis/makewhatis.perl | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gnu/usr.bin/man/makewhatis/makewhatis.perl b/gnu/usr.bin/man/makewhatis/makewhatis.perl index 14be120925a6..af2fc5d1a1ff 100644 --- a/gnu/usr.bin/man/makewhatis/makewhatis.perl +++ b/gnu/usr.bin/man/makewhatis/makewhatis.perl @@ -35,7 +35,7 @@ # # E-Mail: Wolfram Schneider <wosch@cs.tu-berlin.de> # -# $Id: makewhatis.pl,v 1.10 1995/03/29 09:44:34 w Exp $ +# $Id: makewhatis.perl,v 1.5 1995/03/31 04:00:53 joerg Exp $ # sub usage { @@ -425,10 +425,12 @@ sub parse { else { &usage } } - if ($i =~ /^[0-9]+$/) { - $indent = $i; - } else { - warn "Ignore wrong indent value: ``$i''\n"; + if ($i ne "") { + if ($i =~ /^[0-9]+$/) { + $indent = $i; + } else { + warn "Ignoring wrong indent value: ``$i''\n"; + } } return &absolute_path(@argv) if $#argv >= 0; |
