On Fri, 1 Feb 2019 at 16:19, Alex Bennée <alex.ben...@linaro.org> wrote: > It reports: > > Documentation no > > But then proceeds to barf: > > https://travis-ci.org/stsquad/qemu/jobs/487512292#L1395 > > with: > > /bin/sh: 1: sphinx-build: not found > Makefile:871: recipe for target 'docs/devel/index.html' failed > make: *** [docs/devel/index.html] Error 127
Oops, yes. We shouldn't be adding the sphinxdocs target to the all: list (or the sphinxdocs-install target to install:) unless BUILD_DOCS is defined. (Assuming we take this we should probably also add sphinx to the set of deps we install for Travis, but a no-sphinx build shouldn't break.) thanks -- PMM
