summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-06-04 01:47:07 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-06-06 07:56:29 +0700
commitd71e470b39477b732056f7d977a2fc8377ffd4e3 (patch)
treea021014f4efb5979baee2865af713be56987934d
parent8b867bf1f0077d90f6991c3e483cfccf134d4a20 (diff)
downloadslackbuilds-d71e470b39477b732056f7d977a2fc8377ffd4e3.tar.gz
development/ocambuild: Compress man pages.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
-rw-r--r--development/ocamlbuild/ocamlbuild.SlackBuild3
1 files changed, 3 insertions, 0 deletions
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