X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=configure;h=c415568cb2ab12d876c78b054a48851da50a5999;hp=1e17b4649f8ebf97f77a5e0b2d0d43e1e9c6f490;hb=a57b3d43033103a1efda78ab2e5f273c217a1834;hpb=a63b5db87340ce6f031b7a20f40754995ad95ce4

diff --git a/configure b/configure
index 1e17b464..c415568c 100755
--- a/configure
+++ b/configure
@@ -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