diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/monotone/monotone.SlackBuild | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/development/monotone/monotone.SlackBuild b/development/monotone/monotone.SlackBuild index 29c2bf2430..2216aa283a 100644 --- a/development/monotone/monotone.SlackBuild +++ b/development/monotone/monotone.SlackBuild @@ -93,6 +93,9 @@ make install htmldir=/usr/doc/$PRGNAM-$VERSION DESTDIR=$PKG find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true +find $PKG/usr/man -type f -exec gzip -9 {} \; +for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done + rm -f $PKG/usr/info/dir gzip -9 $PKG/usr/info/* |