bc: fix alternatives for the man pages.
Install man pages with the prefix gnu-.
This commit is contained in:
parent
607982b15d
commit
f7f7c682dc
1 changed files with 6 additions and 2 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'bc'
|
# Template file for 'bc'
|
||||||
pkgname=bc
|
pkgname=bc
|
||||||
version=1.07.1
|
version=1.07.1
|
||||||
revision=4
|
revision=5
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--with-readline"
|
configure_args="--with-readline"
|
||||||
hostmakedepends="ed flex texinfo"
|
hostmakedepends="ed flex texinfo"
|
||||||
|
@ -14,7 +14,9 @@ distfiles="${GNU_SITE}/${pkgname}/${pkgname}-${version}.tar.gz"
|
||||||
checksum=62adfca89b0a1c0164c2cdca59ca210c1d44c3ffc46daf9931cf4942664cb02a
|
checksum=62adfca89b0a1c0164c2cdca59ca210c1d44c3ffc46daf9931cf4942664cb02a
|
||||||
alternatives="
|
alternatives="
|
||||||
bc:bc:/usr/bin/gnu-bc
|
bc:bc:/usr/bin/gnu-bc
|
||||||
dc:dc:/usr/bin/gnu-dc"
|
bc:bc.1:/usr/share/man/man1/gnu-bc.1
|
||||||
|
dc:dc:/usr/bin/gnu-dc
|
||||||
|
dc:dc.1:/usr/share/man/man1/gnu-dc.1"
|
||||||
disable_parallel_build=yes
|
disable_parallel_build=yes
|
||||||
|
|
||||||
if [ "$CROSS_BUILD" ]; then
|
if [ "$CROSS_BUILD" ]; then
|
||||||
|
@ -50,4 +52,6 @@ do_check() {
|
||||||
post_install() {
|
post_install() {
|
||||||
mv ${DESTDIR}/usr/bin/{,gnu-}bc
|
mv ${DESTDIR}/usr/bin/{,gnu-}bc
|
||||||
mv ${DESTDIR}/usr/bin/{,gnu-}dc
|
mv ${DESTDIR}/usr/bin/{,gnu-}dc
|
||||||
|
mv ${DESTDIR}/usr/share/man/man1/{,gnu-}bc.1
|
||||||
|
mv ${DESTDIR}/usr/share/man/man1/{,gnu-}dc.1
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue