diff options
| author | Dag-Erling Smørgrav <des@FreeBSD.org> | 1998-05-01 13:27:27 +0000 |
|---|---|---|
| committer | Dag-Erling Smørgrav <des@FreeBSD.org> | 1998-05-01 13:27:27 +0000 |
| commit | 832984b50e87af4e4e213f2120578404e1494217 (patch) | |
| tree | 7e06c6ca47d7d1fd68a66a2fdaf5f754764c3f8f /gnu | |
| parent | 56c5891c88499f7f6d2278f1d4b716ef4ffbf7f8 (diff) | |
Notes
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/usr.bin/man/catman/catman.perl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/usr.bin/man/catman/catman.perl b/gnu/usr.bin/man/catman/catman.perl index 70be35f234e4..f1645f9635da 100644 --- a/gnu/usr.bin/man/catman/catman.perl +++ b/gnu/usr.bin/man/catman/catman.perl @@ -26,7 +26,7 @@ # # /usr/bin/catman - preformat man pages # -# $Id$ +# $Id: catman.perl,v 1.10 1997/02/22 15:47:00 peter Exp $ sub usage { @@ -228,7 +228,7 @@ sub parse_subdir { next if $file eq "." || $file eq ".."; # fo_09-o.bar0 - if ($file !~ /^[\w\-\+\[\.]+\.\w+$/) { + if ($file !~ /^[\w\-\+\[\.:]+\.\w+$/) { &garbage("$mandir/$file", "Assume garbage") unless -d "$mandir/$file"; next; @@ -285,7 +285,7 @@ sub parse_subdir { foreach $file (readdir(D)) { next if $file =~ /^(\.|\.\.)$/; # skip current and parent directory - if ($file !~ /^[\w\-\+\[\.]+\.\w+$/) { + if ($file !~ /^[\w\-\+\[\.:]+\.\w+$/) { &garbage("$catdir/$file", "Assume garbage") unless -d "$catdir/$file"; next; |
