On Fri, 8 Mar 2019 at 13:57, Peter Maydell <peter.maydell@linaro.org> wrote:
>
> This patchset fixes some bugs with the Sphinx build machinery.
> Most importantly, it fixes in-tree builds, which were broken
> if you had sphinx-build available. The other two patches fix
> some more minor problems that I noticed in the course of
> fixing the first one.
>
> thanks
> -- PMM
>
> Peter Maydell (3):
> Makefile: Fix Sphinx documentation builds for in-tree builds
> Makefile: Fix 'make distclean'
> Makefile: Don't install non-sphinx files in sphinx docs install
Applied to master as a buildfix, thanks. (Hopefully this will
fix the Travis builds.)
-- PMM