diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 14 |
1 files changed, 13 insertions, 1 deletions
@@ -46,6 +46,8 @@ Installation directories: default: /usr/local --bindir=BINDIR install scripts in BINDIR default: PREFIX/bin + --mandir=MANDIR install manual pages in MANDIR + default: PREFIX/share/man EOF } @@ -96,6 +98,11 @@ while true; do BINDIR="\${PREFIX}/${2}" shift 2 ;; + --mandir) + # Leave PREFIX unexpanded for now, in case it isn't set yet. + MANDIR="\${PREFIX}/${2}" + shift 2 + ;; --) shift break @@ -120,8 +127,12 @@ fi if [ -z "${BINDIR}" ]; then BINDIR=${PREFIX}/bin fi +if [ -z "${MANDIR}" ]; then + MANDIR=${PREFIX}/man +fi # Expand PREFIX if it's there. eval "BINDIR=${BINDIR}" +eval "MANDIR=${MANDIR}" find_dependency() { @@ -161,7 +172,8 @@ s&@shell@&${SHELL}& s&@install@&${INSTALL} -c& s&@srcdir@&${SRCDIR}& s&@prefix@&${PREFIX}& -s&@bindir@&${BINDIR}&" +s&@bindir@&${BINDIR}& +s&@mandir@&${MANDIR}&" # Replace configuration variables in Makefile.in sed "$sed_script" ${SRCDIR}/Makefile.in > Makefile |