diff options
| author | Juergen Daubert <jue@jue.li> | 2015-07-25 19:19:40 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2015-07-25 19:19:40 +0200 |
| commit | ecc6c0731ee70eeb45c1cfc041ca3daa3ce68b06 (patch) | |
| tree | 98c79ff13ef8ed1758b209d029759c03e1208fb2 /bison | |
| parent | 2372a485034aed561334a354ff37f38b3a3955ea (diff) | |
| download | core-ecc6c0731ee70eeb45c1cfc041ca3daa3ce68b06.tar.gz core-ecc6c0731ee70eeb45c1cfc041ca3daa3ce68b06.tar.xz | |
bison: move man-pages to /usr/share/man
Diffstat (limited to 'bison')
| -rw-r--r-- | bison/.footprint | 8 | ||||
| -rw-r--r-- | bison/Pkgfile | 6 |
2 files changed, 6 insertions, 8 deletions
diff --git a/bison/.footprint b/bison/.footprint index f58af3bd..0293cbc2 100644 --- a/bison/.footprint +++ b/bison/.footprint @@ -4,10 +4,6 @@ drwxr-xr-x root/root usr/bin/ -rwxr-xr-x root/root usr/bin/yacc drwxr-xr-x root/root usr/lib/ -rw-r--r-- root/root usr/lib/liby.a -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/bison.1.gz --rw-r--r-- root/root usr/man/man1/yacc.1.gz drwxr-xr-x root/root usr/share/ drwxr-xr-x root/root usr/share/aclocal/ -rw-r--r-- root/root usr/share/aclocal/bison-i18n.m4 @@ -36,3 +32,7 @@ drwxr-xr-x root/root usr/share/bison/xslt/ -rw-r--r-- root/root usr/share/bison/xslt/xml2text.xsl -rw-r--r-- root/root usr/share/bison/xslt/xml2xhtml.xsl -rw-r--r-- root/root usr/share/bison/yacc.c +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/bison.1.gz +-rw-r--r-- root/root usr/share/man/man1/yacc.1.gz diff --git a/bison/Pkgfile b/bison/Pkgfile index f2a1b619..ca4ef235 100644 --- a/bison/Pkgfile +++ b/bison/Pkgfile @@ -4,14 +4,12 @@ name=bison version=3.0.4 -release=1 +release=2 source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.xz) build() { cd $name-$version - ./configure --prefix=/usr \ - --mandir=/usr/man \ - --disable-nls + ./configure --prefix=/usr --disable-nls make make DESTDIR=$PKG install rm -r $PKG/usr/share/info $PKG/usr/share/doc/ |