diff options
Diffstat (limited to 'source/l/gtk4/gtk4.SlackBuild')
-rwxr-xr-x | source/l/gtk4/gtk4.SlackBuild | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/source/l/gtk4/gtk4.SlackBuild b/source/l/gtk4/gtk4.SlackBuild index 5e39bfb28..3706fe8e2 100755 --- a/source/l/gtk4/gtk4.SlackBuild +++ b/source/l/gtk4/gtk4.SlackBuild @@ -24,7 +24,7 @@ cd $(dirname $0) ; CWD=$(pwd) PKGNAM=gtk4 VERSION=${VERSION:-$(echo gtk-*.tar.?z | rev | cut -f 3- -d . | cut -f 1 -d - | rev)} -BUILD=${BUILD:-2} +BUILD=${BUILD:-1} NUMJOBS=${NUMJOBS:-" -j$(expr $(nproc) + 1) "} @@ -138,6 +138,10 @@ cd .. # Strip binaries: find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null +# It seems that --mandir is ignored: +rsync -lprvt $PKG/usr/share/man/ $PKG/usr/man/ +rm -rf $PKG/usr/share/man/ + # Compress manual pages: find $PKG/usr/man -type f -exec gzip -9 {} \+ for i in $( find $PKG/usr/man -type l ) ; do |