diff options
Diffstat (limited to 'gnu/usr.bin/man')
| -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; |