aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorDag-Erling Smørgrav <des@FreeBSD.org>1998-05-01 13:27:27 +0000
committerDag-Erling Smørgrav <des@FreeBSD.org>1998-05-01 13:27:27 +0000
commit832984b50e87af4e4e213f2120578404e1494217 (patch)
tree7e06c6ca47d7d1fd68a66a2fdaf5f754764c3f8f /gnu
parent56c5891c88499f7f6d2278f1d4b716ef4ffbf7f8 (diff)
Notes
Diffstat (limited to 'gnu')
-rw-r--r--gnu/usr.bin/man/catman/catman.perl6
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;