diff options
-rwxr-xr-x | scripts/brp-compress | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/brp-compress b/scripts/brp-compress index 4ea4ccb44..25f61c7c2 100755 --- a/scripts/brp-compress +++ b/scripts/brp-compress @@ -13,7 +13,8 @@ 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/kerberos/man ./usr/X11R6/man/man* ./usr/lib/perl5/man/man* + ./usr/kerberos/man ./usr/X11R6/man/man* ./usr/lib/perl5/man/man* \ + ./usr/share/doc/*/man/man* do [ -d $d ] || continue for f in `find $d -type f` |