tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

environment/gnu-configure-args: set --mandir again.

Browse Source
This commit is contained in:
Juan RP
2015-05-22 14:14:58 +02:00
parent 1f2fec69a9
commit 0609f4c62b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/environment/configure/gnu-configure-args.sh
View File

@@ -5,7 +5,7 @@ if [ -n "$build_style" -a "$build_style" != "gnu-configure" ]; then
fi fi
export configure_args="--prefix=/usr --sysconfdir=/etc --bindir=/usr/bin export configure_args="--prefix=/usr --sysconfdir=/etc --bindir=/usr/bin
--infodir=/usr/share/info --localstatedir=/var ${configure_args}" --mandir=/usr/share/man --infodir=/usr/share/info --localstatedir=/var ${configure_args}"
. ${XBPS_COMMONDIR}/build-profiles/${XBPS_MACHINE}.sh . ${XBPS_COMMONDIR}/build-profiles/${XBPS_MACHINE}.sh
export configure_args+=" --host=$XBPS_TRIPLET --build=$XBPS_TRIPLET" export configure_args+=" --host=$XBPS_TRIPLET --build=$XBPS_TRIPLET"