diff options
| author | Juergen Daubert <jue@jue.li> | 2016-11-30 12:45:21 +0100 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2016-11-30 12:45:21 +0100 |
| commit | 322222c21a4baa7bd1de6d7dc89b07837fa45015 (patch) | |
| tree | e467ed995e5fd935c2f78190c20399d3e4e55191 /gv/Pkgfile | |
| parent | dfd1c38c1e9600903d0c8353983e7404150ffb2d (diff) | |
| download | opt-322222c21a4baa7bd1de6d7dc89b07837fa45015.tar.gz opt-322222c21a4baa7bd1de6d7dc89b07837fa45015.tar.xz | |
gv: move man-pages to /usr/share/man
Diffstat (limited to 'gv/Pkgfile')
| -rw-r--r-- | gv/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gv/Pkgfile b/gv/Pkgfile index d467fe8b4..8518f572d 100644 --- a/gv/Pkgfile +++ b/gv/Pkgfile @@ -5,13 +5,13 @@ name=gv version=3.7.4 -release=2 +release=3 source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.gz) build () { cd $name-$version sed -r -i 's/(-sDEVICE=)pswrite/\1ps2write/' src/Makefile.in - ./configure --prefix=/usr --mandir=/usr/man + ./configure --prefix=/usr make make DESTDIR=$PKG install rm -r $PKG/usr/share/info |