Add /usr/kerberos/man.

CVS patchset: 3961
CVS date: 2000/07/18 15:31:26

diff --git a/scripts/brp-compress b/scripts/brp-compress
index 843d07e..4ea4ccb 100755 (executable)
--- a/scripts/brp-compress
+++ b/scripts/brp-compress
@@ -13,7 +13,7 @@ COMPRESS_EXT=.gz
 
 for d in ./usr/man/man* ./usr/man/*/man* ./usr/info \
        ./usr/share/man/man* ./usr/share/man/*/man* ./usr/share/info \
-       ./usr/X11R6/man/man* ./usr/lib/perl5/man/man*
+       ./usr/kerberos/man ./usr/X11R6/man/man* ./usr/lib/perl5/man/man*
 do
     [ -d $d ] || continue
     for f in `find $d -type f`