X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=configure;h=1986e66686a845ce2dd1fb35a625e597ba64dc0d;hb=2d04ed263121d970cd24a8c26ac924425a7ae3d2;hp=c8690d3a647b3da7d832c82935dadda56ff4828a;hpb=0e03e2d45e36edb635229f356bf41f153c30a70f;p=notmuch

diff --git a/configure b/configure
index c8690d3a..1986e666 100755
--- a/configure
+++ b/configure
@@ -108,6 +108,7 @@ PREFIX=/usr/local
 LIBDIR=
 WITH_DOCS=1
 WITH_API_DOCS=1
+WITH_PYTHON_DOCS=1
 WITH_EMACS=1
 WITH_DESKTOP=1
 WITH_BASH=1
@@ -801,7 +802,9 @@ if [ $have_python3 -eq 1 ]; then
     if "$python" -c 'import cffi,setuptools; cffi.FFI().verify()' >/dev/null 2>&1; then
         printf "Yes.\n"
         have_python3_cffi=1
+        WITH_PYTHON_DOCS=1
     else
+        WITH_PYTHON_DOCS=0
         printf "No (will not install CFFI-based python bindings).\n"
     fi
     rm -rf __pycache__  # cffi.FFI().verify() uses this space
@@ -1554,6 +1557,9 @@ EOF
 if [ $WITH_EMACS = "1" ]; then
     printf "tags.add('WITH_EMACS')\n" >> sphinx.config
 fi
+if [ $WITH_PYTHON_DOCS = "1" ]; then
+    printf "tags.add('WITH_PYTHON')\n" >> sphinx.config
+fi
 printf "rsti_dir = '%s'\n" $(realpath emacs) >> sphinx.config
 
 # Finally, after everything configured, inform the user how to continue.