From e1bdc0ecaffb7284ef07574ec9a214c29642d4d4 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sun, 25 Oct 2020 09:52:14 -0700 Subject: [PATCH] Use the correct version of sphinx --- doc/build.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/build.py b/doc/build.py index 37318b14..8e53820d 100755 --- a/doc/build.py +++ b/doc/build.py @@ -102,7 +102,9 @@ def build_docs(version='dev', **kwargs): raise CalledProcessError(p.returncode, cmd) html_dir = os.path.join(work_dir, 'html') main_versions = reversed(versions[-3:]) - check_call(['sphinx-build', + # Always use sphinx-build from virtualenv because the system one may be + # incompatible with the required version of breathe. + check_call([os.path.join('virtualenv', 'bin', 'sphinx-build'), '-Dbreathe_projects.format=' + os.path.abspath(doxyxml_dir), '-Dversion=' + version, '-Drelease=' + version, '-Aversion=' + version, '-Aversions=' + ','.join(main_versions),