Do not set infodir/mandir to DESTDIR for chroot packages.
--HG-- extra : convert_revision : 990e93fcf5a36f75d29a5f2de60b44f180fe0e48
This commit is contained in:
parent
57196537f0
commit
744b2fc5fc
10 changed files with 17 additions and 17 deletions
|
@ -84,10 +84,16 @@ configure_src_phase()
|
|||
# Packages using GNU autoconf
|
||||
#
|
||||
if [ "$build_style" = "gnu_configure" ]; then
|
||||
if [ -z "$in_chroot" ]; then
|
||||
infodir=${DESTDIR}/usr/share/info
|
||||
mandir=${DESTDIR}/usr/share/man
|
||||
else
|
||||
infodir=/usr/share/info
|
||||
mandir=/usr/share/man
|
||||
fi
|
||||
${configure_script} \
|
||||
--prefix=${_prefix} --sysconfdir=/etc \
|
||||
--infodir=${DESTDIR}/usr/share/info \
|
||||
--mandir=${DESTDIR}/usr/share/man \
|
||||
--infodir=${infodir} --mandir=${mandir} \
|
||||
${configure_args}
|
||||
#
|
||||
# Packages using propietary configure scripts.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue