configure: support --with-docs=no

[notmuch] / configure

diff --git a/configure b/configure
index b8b2c67bab4c01b7acb155139add4fb3c38043c3..c415568cb2ab12d876c78b054a48851da50a5999 100755 (executable)
--- a/configure
+++ b/configure
@@ -144,9 +144,9 @@ Some specific library versions can be specified (auto-detected otherwise):
 Some features can be disabled (--with-feature=no is equivalent to
 --without-feature) :
 
+       --without-bash-completion       Do not install bash completions files
        --without-docs                  Do not install documentation and man pages
        --without-emacs                 Do not install lisp file
-       --without-bash-completion       Do not install bash completions files
        --without-zsh-completion        Do not install zsh completions files
 
 Additional options are accepted for compatibility with other
@@ -187,6 +187,12 @@ for option; do
        BASHCOMPLETIONDIR="${option#*=}"
     elif [ "${option%%=*}" = '--zshcompletiondir' ] ; then
        ZSHCOMLETIONDIR="${option#*=}"
+    elif [ "${option%%=*}" = '--with-docs' ]; then
+       if [ "${option#*=}" = 'no' ]; then
+           WITH_DOCS=0
+       else
+           WITH_DOCS=1
+       fi
     elif [ "${option}" = '--without-docs' ] ; then
        WITH_DOCS=0
     elif [ "${option%%=*}" = '--with-emacs' ]; then