diff options
author | Felix Singer <felixsinger@posteo.net> | 2023-06-16 06:26:05 +0200 |
---|---|---|
committer | Felix Held <felix-coreboot@felixheld.de> | 2023-07-11 13:27:08 +0000 |
commit | f036b1d5e79d5a0cd916b6c1fd85f82bc0441516 (patch) | |
tree | 31b0587bb722451c5032ac703866574afb3b0779 /Documentation/getting_started/build_system.md | |
parent | 9fd5c69b79765714507aea48384bb4b61a57ea2b (diff) |
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>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/75893
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nicholas Chin <nic.c3.14@gmail.com>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'Documentation/getting_started/build_system.md')
0 files changed, 0 insertions, 0 deletions