Attention is currently required from: Elyes Haouas, Felix Held, Jan Samek, Martin L Roth, Nico Huber.
Hello Elyes Haouas, Felix Held, Jan Samek, Martin L Roth, Nicholas Chin, Nico Huber, build bot (Jenkins),
I'd like you to reexamine a change. Please visit
https://review.coreboot.org/c/coreboot/+/75893?usp=email
to look at the new patch set (#4).
Change subject: doc/Makefile: Fix build dir setting ......................................................................
doc/Makefile: Fix build dir setting
The commit 4d8da8ed ("Docs: Update sphinx targets with the build directory") introduces an additional variable intending to allow an user to specify a different build directory. Since the variable is not writable from the outside and also the Docker container used to build doc.coreboot.org calls the Makefile with `BUILDDIR` instead of `SPHINXDIR`, building the documentation within the container doesn't work anymore.
Thus, change the variable name to `BUILDDIR` and make it writable.
Steps to reproduce:
cd util/docker make doc.coreboot.org make docker-build-docs
Change-Id: Ibc44134cf1996592597252aeb9dcf7ffb3378ee3 Signed-off-by: Felix Singer felixsinger@posteo.net --- M Documentation/Makefile 1 file changed, 8 insertions(+), 8 deletions(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/93/75893/4