diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-03-21 17:07:54 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-03-21 17:07:54 +0700 |
| commit | 4920d12c38f40d0e03fdb7649a84ec91a9e5d432 (patch) | |
| tree | 97bf502e034bde61fe0b26789ebe74ebeaaf2f7c /development/devhelp | |
| parent | cbf8e2b603748c4151813f474dc2c284d9a10d28 (diff) | |
development/devhelp: compress man page.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/devhelp')
| -rw-r--r-- | development/devhelp/devhelp.SlackBuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/devhelp/devhelp.SlackBuild b/development/devhelp/devhelp.SlackBuild index b5f6d13b29c4..748b7ade2d53 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 |