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 Makefile | 34 ++++++++++++++++++++++------------ 1 file changed, 22 insertions(+), 12 deletions(-) -- 2.20.1
