configure: make sure WITH_PYTHON_DOCS is initialized

Thanks to pazz for reporting the problem.

diff --git a/configure b/configure
index b4ee7f377bbbce420c00642b3fb8b503950f3a9c..1986e66686a845ce2dd1fb35a625e597ba64dc0d 100755 (executable)
--- 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
@@ -803,6 +804,7 @@ if [ $have_python3 -eq 1 ]; then
         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