diff options
| author | Victor Zverovich <victor.zverovich@gmail.com> | 2020-10-25 09:52:14 -0700 |
|---|---|---|
| committer | Victor Zverovich <victor.zverovich@gmail.com> | 2020-10-25 09:52:21 -0700 |
| commit | e1bdc0ecaffb7284ef07574ec9a214c29642d4d4 (patch) | |
| tree | 69293a87515dbf08fcb1bda3b3b02724445ebffb | |
| parent | 39bde329bd5edf05f3eef57bf679fd9aa70f7a39 (diff) | |
| download | fmtlib-e1bdc0ecaffb7284ef07574ec9a214c29642d4d4.tar.gz | |
Use the correct version of sphinx
| -rwxr-xr-x | doc/build.py | 4 |
1 files changed, 3 insertions, 1 deletions
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), |