diff options
| author | Juergen Daubert <jue@jue.li> | 2015-07-25 19:17:56 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2015-07-25 19:17:56 +0200 |
| commit | 2372a485034aed561334a354ff37f38b3a3955ea (patch) | |
| tree | 0e950fee373656d23f79879b1fbde7443d788af1 /bc | |
| parent | 344a2c0d201388fc0917a36162a4ae15a7bc2982 (diff) | |
| download | core-2372a485034aed561334a354ff37f38b3a3955ea.tar.gz core-2372a485034aed561334a354ff37f38b3a3955ea.tar.xz | |
bc: move man-pages to /usr/share/man
Diffstat (limited to 'bc')
| -rw-r--r-- | bc/.footprint | 9 | ||||
| -rw-r--r-- | bc/Pkgfile | 4 |
2 files changed, 7 insertions, 6 deletions
diff --git a/bc/.footprint b/bc/.footprint index 23a41d16..8f0dcfc4 100644 --- a/bc/.footprint +++ b/bc/.footprint @@ -2,7 +2,8 @@ drwxr-xr-x root/root usr/ drwxr-xr-x root/root usr/bin/ -rwxr-xr-x root/root usr/bin/bc -rwxr-xr-x root/root usr/bin/dc -drwxr-xr-x root/root usr/man/ -drwxr-xr-x root/root usr/man/man1/ --rw-r--r-- root/root usr/man/man1/bc.1.gz --rw-r--r-- root/root usr/man/man1/dc.1.gz +drwxr-xr-x root/root usr/share/ +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/bc.1.gz +-rw-r--r-- root/root usr/share/man/man1/dc.1.gz @@ -5,7 +5,7 @@ name=bc version=1.06 -release=3 +release=4 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz \ $name-$version-compile_fixes.patch $name-$version-fixes-1.patch) @@ -14,7 +14,7 @@ build() { patch -p1 < ../$name-$version-compile_fixes.patch patch -p1 < ../$name-$version-fixes-1.patch - ./configure --prefix=/usr --with-readline + ./configure --prefix=/usr --with-readline --mandir=/usr/share/man make make DESTDIR=$PKG install rm -rf $PKG/usr/info |