configure: support --with-docs=no

[notmuch] / configure

diff --git a/configure b/configure
index 04761aab611cb5c5ac164d291826497a25852229..c415568cb2ab12d876c78b054a48851da50a5999 100755 (executable)
--- a/configure
+++ b/configure
@@ -38,7 +38,7 @@ if [ "$srcdir" != "." ]; then
     cp -a "$srcdir"/test/* test
 
     # Emacs only likes to generate compiled files next to the .el files
-    # by default so copy these as well (which is not ideal0.
+    # by default so copy these as well (which is not ideal).
     cp -a "$srcdir"/emacs/*.el emacs
 fi
 
@@ -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