diff options
Diffstat (limited to 'source/l/mpfr/mpfr.SlackBuild')
| -rwxr-xr-x | source/l/mpfr/mpfr.SlackBuild | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/l/mpfr/mpfr.SlackBuild b/source/l/mpfr/mpfr.SlackBuild index b071e4f89..c97adbe9a 100755 --- a/source/l/mpfr/mpfr.SlackBuild +++ b/source/l/mpfr/mpfr.SlackBuild @@ -108,7 +108,7 @@ CFLAGS="$SLKCFLAGS" \ --prefix=/usr \ --libdir=/usr/lib${LIBDIRSUFFIX} \ --infodir=/usr/info \ - --docdir=/usr/doc/mpfr-$VERSION \ + --docdir=/usr/doc/mpfr-$VERSION$PATCHLEVEL \ --enable-static=no \ --enable-shared=yes \ --build=$TARGET || exit 1 @@ -128,16 +128,16 @@ rm -f $PKG/usr/lib${LIBDIRSUFFIX}/*.la rm -f $PKG/usr/info/dir gzip -9 $PKG/usr/info/* -mkdir -p $PKG/usr/doc/mpfr-$VERSION +mkdir -p $PKG/usr/doc/mpfr-$VERSION$PATCHLEVEL cp -a \ AUTHORS BUGS COPYING* FAQ.html INSTALL NEWS README* TODO VERSION \ examples \ - $PKG/usr/doc/mpfr-$VERSION + $PKG/usr/doc/mpfr-$VERSION$PATCHLEVEL # If there's a ChangeLog, installing at least part of the recent history # is useful, but don't let it get totally out of control: if [ -r ChangeLog ]; then - DOCSDIR=$(echo $PKG/usr/doc/${PKGNAM}-$VERSION) + DOCSDIR=$(echo $PKG/usr/doc/${PKGNAM}-$VERSION$PATCHLEVEL) cat ChangeLog | head -n 1000 > $DOCSDIR/ChangeLog touch -r ChangeLog $DOCSDIR/ChangeLog fi |