diff options
Diffstat (limited to 'development/redo/redo.SlackBuild')
| -rw-r--r-- | development/redo/redo.SlackBuild | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/development/redo/redo.SlackBuild b/development/redo/redo.SlackBuild index 1e5fa898b0..9c45b28533 100644 --- a/development/redo/redo.SlackBuild +++ b/development/redo/redo.SlackBuild @@ -38,9 +38,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 @@ -68,8 +65,7 @@ DOCDIR=$PKG/usr/doc \ 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 +rm -rf $PKG/usr/man/ mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a \ |