Re: [PULL v3 00/22] Build system + misc changes for 2020-10-16

[Peter Maydell]

On Sat, 17 Oct 2020 at 15:50, Paolo Bonzini <pbonzini@redhat.com> wrote:
> ----------------------------------------------------------------
> * Drop ninjatool and just require ninja (Paolo)
> * Fix docs build under msys2 (Yonggang)
> * HAX snafu fix (Claudio)
> * Disable signal handlers during fuzzing (Alex)
> * Miscellaneous fixes (Bruce, Greg)
>
> Yonggang Luo (3):
>       docs: Fix Sphinx configuration for msys2/mingw
>       meson: Move the detection logic for sphinx to meson
>       cirrus: Enable doc build on msys2/mingw

I've just noticed that there seems to be a minor bug with
the new sphinx detection logic: if the Sphinx is the
wrong version then it prints:

Program sphinx-build found: YES
../../docs/meson.build:30: WARNING:  exists but it is either too old
or uses too old a Python version

ie it hasn't actually managed to substitute in the
program name, so there's just a double-space after
WARNING: instead...

thanks
-- PMM