diff options
| author | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 23:38:29 +0200 |
|---|---|---|
| committer | Fredrik Rinnestam <fredrik@crux.nu> | 2015-07-25 23:38:29 +0200 |
| commit | d445e6b519dde35c78a3cacc6d47c5a4f18b453d (patch) | |
| tree | ba4c62c19d577f69d3eb8ca510f3619c4cbfb0b3 /gawk/Pkgfile | |
| parent | 09e274b8cb1e1ec270b78f313916adbab153772b (diff) | |
| download | core-d445e6b519dde35c78a3cacc6d47c5a4f18b453d.tar.gz core-d445e6b519dde35c78a3cacc6d47c5a4f18b453d.tar.xz | |
gawk: move man-pages to /usr/share/man
Diffstat (limited to 'gawk/Pkgfile')
| -rw-r--r-- | gawk/Pkgfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gawk/Pkgfile b/gawk/Pkgfile index 368a12f5..69cf8dd7 100644 --- a/gawk/Pkgfile +++ b/gawk/Pkgfile @@ -5,7 +5,7 @@ name=gawk version=4.1.3 -release=1 +release=2 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) build() { @@ -13,7 +13,6 @@ build() { ./configure --prefix=/usr \ --libexecdir=/usr/lib \ - --mandir=/usr/man \ --disable-nls make make DESTDIR=$PKG install |