diff options
author | Markus Armbruster <armbru@redhat.com> | 2020-02-14 18:18:41 +0100 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2020-02-15 11:41:37 +0100 |
commit | 903458c8abdb5f6b2393a167a077899ab3e1a36c (patch) | |
tree | be335a7e55e1bceb2d3c16cd75403a614f112e4e /audio | |
parent | 2eb054c237d0b5427f62499f3c31e90cf87821d7 (diff) |
configure: Pick sphinx-build-3 when available
The next commit will require a sphinx-build that uses Python 3. On
some systems, sphinx-build is fine, on others you need to use
sphinx-build-3. To keep things working out of the box on both kinds
of systems, try sphinx-build-3, then sphinx-build.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <87a75lqe8e.fsf@dusky.pond.sub.org>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'audio')
0 files changed, 0 insertions, 0 deletions