diff options
| author | Juergen Daubert <jue@jue.li> | 2012-12-27 12:36:29 +0100 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2012-12-27 12:36:29 +0100 |
| commit | bb52c87f62c93beb5b5b75e87e14ab3fe4bb16fe (patch) | |
| tree | fcece96ece952a7ce682d364670dfde53d97fb68 /gawk/Pkgfile | |
| parent | 11a451040a0b952f39540110fec2581f1657c6c7 (diff) | |
| download | core-bb52c87f62c93beb5b5b75e87e14ab3fe4bb16fe.tar.gz core-bb52c87f62c93beb5b5b75e87e14ab3fe4bb16fe.tar.xz | |
gawk: update to 4.0.2
Diffstat (limited to 'gawk/Pkgfile')
| -rw-r--r-- | gawk/Pkgfile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gawk/Pkgfile b/gawk/Pkgfile index 26b5d9db..248c46d2 100644 --- a/gawk/Pkgfile +++ b/gawk/Pkgfile @@ -3,7 +3,7 @@ # Maintainer: CRUX System Team, core-ports at crux dot nu name=gawk -version=4.0.1 +version=4.0.2 release=1 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) @@ -17,8 +17,10 @@ build() { make DESTDIR=$PKG install rm -r $PKG/usr/share/info - rm $PKG/usr/bin/{gawk,pgawk}-$version \ - $PKG/usr/man/man1/pgawk.1 - + rm $PKG/usr/bin/{gawk,pgawk}-$version + rm $PKG/usr/man/man1/{p,d}gawk.1 + ln -sf gawk.1.gz $PKG/usr/man/man1/awk.1.gz + ln -sf gawk.1.gz $PKG/usr/man/man1/dawk.1.gz + ln -sf gawk.1.gz $PKG/usr/man/man1/pawk.1.gz } |