On Fri, 8 Mar 2019 at 13:57, Peter Maydell <peter.mayd...@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
