summaryrefslogtreecommitdiff
path: root/Documentation/getting_started/build_system.md
diff options
context:
space:
mode:
authorFelix Singer <felixsinger@posteo.net>2023-06-16 06:26:05 +0200
committerFelix Held <felix-coreboot@felixheld.de>2023-07-11 13:27:08 +0000
commitf036b1d5e79d5a0cd916b6c1fd85f82bc0441516 (patch)
tree31b0587bb722451c5032ac703866574afb3b0779 /Documentation/getting_started/build_system.md
parent9fd5c69b79765714507aea48384bb4b61a57ea2b (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