diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-02-13 17:56:18 +0000 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2020-02-14 16:31:21 +0100 |
| commit | 2eb054c237d0b5427f62499f3c31e90cf87821d7 (patch) | |
| tree | 6c36e119421b00e7d4d59e2e349ee5b46390b545 /migration | |
| parent | 2a7d957596786404c4ed16b089273de95a9580ad (diff) | |
configure: Allow user to specify sphinx-build binary
Currently we insist on using 'sphinx-build' from the $PATH;
allow the user to specify the binary to use. This will be
more useful as we become pickier about the capabilities
we require (eg needing a Python 3 sphinx-build).
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Wainer dos Santos Moschetta <wainersm@redhat.com>
Message-Id: <20200213175647.17628-2-peter.maydell@linaro.org>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'migration')
0 files changed, 0 insertions, 0 deletions