From 13116c5cedf58171d04b5f518b3d6f2fe8aea99d Mon Sep 17 00:00:00 2001
From: David Bremner <david@tethera.net>
Date: Thu, 16 Jul 2020 15:59:45 -0300
Subject: [PATCH] configure: make sure WITH_PYTHON_DOCS is initialized
Thanks to pazz for reporting the problem.
---
configure | 2 ++
1 file changed, 2 insertions(+)
diff --git a/configure b/configure
index b4ee7f37..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
@@ -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
--
2.45.2