diff options
| -rw-r--r-- | development/simulavr/simulavr.SlackBuild | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/development/simulavr/simulavr.SlackBuild b/development/simulavr/simulavr.SlackBuild index 981dc4f1e971..9d4a1cb9a7f2 100644 --- a/development/simulavr/simulavr.SlackBuild +++ b/development/simulavr/simulavr.SlackBuild @@ -88,8 +88,6 @@ make install DESTDIR=$PKG 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 -# Compress info pages and remove the package's dir file -# If no info pages are installed by the software, don't leave this in the script mv $PKG/usr/share/info $PKG/usr rm -f $PKG/usr/info/dir gzip -9 $PKG/usr/info/*.info* |