diff options
author | tnut <thierryn1 at hispeed dot ch> | 2009-12-08 21:41:21 +0100 |
---|---|---|
committer | tnut <thierryn1 at hispeed dot ch> | 2009-12-08 21:41:21 +0100 |
commit | 6a98b50c33afa3e7d0eab2991a74bbf07de359d3 (patch) | |
tree | 40034cb6c56b02d4ecd888f5ce4083e4d77488ff /base/mpfr/Pkgfile | |
parent | f25f3ccdfda48d495741f81749253a44b90c85e7 (diff) | |
download | nutyx-pakxe-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.gz nutyx-pakxe-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.bz2 nutyx-pakxe-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.tar.xz nutyx-pakxe-6a98b50c33afa3e7d0eab2991a74bbf07de359d3.zip |
maj mpfr#2.4.2-1
Diffstat (limited to 'base/mpfr/Pkgfile')
-rw-r--r-- | base/mpfr/Pkgfile | 3 |
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 } |