From 0609f4c62b425fb83bdbb4333845b5eafd0d75b5 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 22 May 2015 14:14:58 +0200 Subject: [PATCH] environment/gnu-configure-args: set --mandir again. --- common/environment/configure/gnu-configure-args.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/environment/configure/gnu-configure-args.sh b/common/environment/configure/gnu-configure-args.sh index 23ad8207604..27241238026 100644 --- a/common/environment/configure/gnu-configure-args.sh +++ b/common/environment/configure/gnu-configure-args.sh @@ -5,7 +5,7 @@ if [ -n "$build_style" -a "$build_style" != "gnu-configure" ]; then fi 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 export configure_args+=" --host=$XBPS_TRIPLET --build=$XBPS_TRIPLET"