From 4920d12c38f40d0e03fdb7649a84ec91a9e5d432 Mon Sep 17 00:00:00 2001 From: Willy Sudiarto Raharjo Date: Thu, 21 Mar 2024 17:07:54 +0700 Subject: [PATCH] development/devhelp: compress man page. Signed-off-by: Willy Sudiarto Raharjo --- development/devhelp/devhelp.SlackBuild | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/development/devhelp/devhelp.SlackBuild b/development/devhelp/devhelp.SlackBuild index b5f6d13b29..748b7ade2d 100644 --- a/development/devhelp/devhelp.SlackBuild +++ b/development/devhelp/devhelp.SlackBuild @@ -25,9 +25,6 @@ if [ -z "$ARCH" ]; then esac fi -# If the variable PRINT_PACKAGE_NAME is set, then this script will report what -# the name of the created package would be, and then exit. This information -# could be useful to other scripts. if [ ! -z "${PRINT_PACKAGE_NAME}" ]; then echo "$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE" exit 0 @@ -88,6 +85,9 @@ DESTDIR=$PKG "${NINJA}" -C build/ install 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 LICENSES NEWS *.md $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild