On Fri, 1 Feb 2019 at 17:11, Alex Bennée <alex.ben...@linaro.org> wrote: > I did the following: > > modified Makefile > @@ -322,6 +322,7 @@ endif > ifdef CONFIG_TRACE_SYSTEMTAP > DOCS+=scripts/qemu-trace-stap.1 > endif > +DOCS+=sphinxdocs > else > DOCS= > endif
This kind of works, but it's a bit odd, because DOCS is otherwise a list of files and we assume it is in a couple of places. (For instance we call "rm -f $(DOCS)" in the distclean target.) thanks -- PMM