diff options
-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 b5f6d13b29c47..748b7ade2d531 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 |