From d71e470b39477b732056f7d977a2fc8377ffd4e3 Mon Sep 17 00:00:00 2001 From: Willy Sudiarto Raharjo Date: Sun, 4 Jun 2017 01:47:07 +0700 Subject: [PATCH] development/ocambuild: Compress man pages. Signed-off-by: Willy Sudiarto Raharjo --- development/ocamlbuild/ocamlbuild.SlackBuild | 3 +++ 1 file changed, 3 insertions(+) diff --git a/development/ocamlbuild/ocamlbuild.SlackBuild b/development/ocamlbuild/ocamlbuild.SlackBuild index 37653d8dd9..e4ff8e5449 100644 --- a/development/ocamlbuild/ocamlbuild.SlackBuild +++ b/development/ocamlbuild/ocamlbuild.SlackBuild @@ -82,6 +82,9 @@ make install DESTDIR=$PKG find $PKG -print0 | xargs -0 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 + mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a $DOCS $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild