summaryrefslogtreecommitdiffstats
path: root/base/mpfr/Pkgfile
diff options
context:
space:
mode:
authortnut <thierryn1 at hispeed dot ch>2009-12-08 21:41:21 +0100
committertnut <thierryn1 at hispeed dot ch>2009-12-08 21:41:21 +0100
commit6a98b50c33afa3e7d0eab2991a74bbf07de359d3 (patch)
tree40034cb6c56b02d4ecd888f5ce4083e4d77488ff /base/mpfr/Pkgfile
parentf25f3ccdfda48d495741f81749253a44b90c85e7 (diff)
downloadnutyx-extra-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.gz
nutyx-extra-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.bz2
nutyx-extra-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.xz
nutyx-extra-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.zip
maj mpfr#2.4.2-1
Diffstat (limited to 'base/mpfr/Pkgfile')
-rw-r--r--base/mpfr/Pkgfile3
1 files changed, 2 insertions, 1 deletions
diff --git a/base/mpfr/Pkgfile b/base/mpfr/Pkgfile
index 748c32bb8..cea800d56 100644
--- a/base/mpfr/Pkgfile
+++ b/base/mpfr/Pkgfile
@@ -5,7 +5,7 @@
# Depends on: gmp
name=mpfr
-version=2.4.1
+version=2.4.2
release=1
source=(http://www.mpfr.org/mpfr-current/mpfr-$version.tar.gz \
)
@@ -17,4 +17,5 @@ build() {
make DESTDIR=$PKG install
# Remove the dir file
rm $PKG/usr/share/info/dir
+ rm -r $PKG/usr/share/doc
}