configure: Add support for a --mandir option

[notmuch] / configure

diff --git a/configure b/configure
index a0746dfa6790fd70de361eb3e987558505096209..b1e5f7850135227989833e8731ed62950323bd1d 100755 (executable)
--- a/configure
+++ b/configure
@@ -69,6 +69,7 @@ Fine tuning of some installation directories is available:
 
        --libdir=DIR            Install libraries to DIR [PREFIX/lib]
        --includedir=DIR        Install header files to DIR [PREFIX/include]
+       --mandir=DIR            Install man pages to DIR [PREFIX/share/man]
 
 Additional options are accepted for compatibility with other
 configure-script calling conventions, but don't do anything yet:
@@ -89,6 +90,8 @@ for option; do
        LIBDIR="${option#*=}"
     elif [ "${option%%=*}" = '--includedir' ] ; then
        INCLUDEDIR="${option#*=}"
+    elif [ "${option%%=*}" = '--mandir' ] ; then
+       MANDIR="${option#*=}"
     elif [ "${option%%=*}" = '--build' ] ; then
        build_option="${option#*=}"
        case ${build_option} in
@@ -333,6 +336,9 @@ libdir = ${LIBDIR:=\$(prefix)/lib}
 # The directory to which header files should be installed
 includedir = ${INCLUDEDIR:=\$(prefix)/lib}
 
+# The directory to which man pages should be installed
+mandir = ${MANDIR:=\$(prefix)/share/man}
+
 # The directory to which emacs lisp files should be installed
 emacs_lispdir=${emacs_lispdir}