diff options
| author | John Snow <jsnow@redhat.com> | 2023-05-10 23:54:29 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-18 08:53:51 +0200 |
| commit | 6f6652ebc2717b28c5788e6364c6dab09bb0ac44 (patch) | |
| tree | 4f9ff0d7c22e8ba1639bac84504fedbe42e603ac /docs/meson.build | |
| parent | 6b0cedcdc7c52feda1a6b5d6c6f30356290af0ec (diff) | |
configure: bootstrap sphinx with mkvenv
When docs are explicitly requested, require Sphinx>=1.6.0. When docs are
explicitly disabled, don't bother to check for Sphinx at all. If docs
are set to "auto", attempt to locate Sphinx, but continue onward if it
wasn't located.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: John Snow <jsnow@redhat.com>
Message-Id: <20230511035435.734312-22-jsnow@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs/meson.build')
| -rw-r--r-- | docs/meson.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/meson.build b/docs/meson.build index 6d0986579e..9040f860ae 100644 --- a/docs/meson.build +++ b/docs/meson.build @@ -1,4 +1,4 @@ -sphinx_build = find_program(get_option('sphinx_build'), +sphinx_build = find_program(fs.parent(python.full_path()) / 'sphinx-build', required: get_option('docs')) # Check if tools are available to build documentation. |