diff options
author | Martin Roth <gaumless@gmail.com> | 2023-05-29 23:09:54 -0600 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2023-06-03 20:58:51 +0000 |
commit | 4d8da8ed77dd14edad7cdaed87292f7f4158c1e6 (patch) | |
tree | d64746f855cd61b0698200b0e28ce47326f62b49 /src/arch/arm/boot.c | |
parent | 34e43f602fb7570ce5adea4f0935c608614244f1 (diff) |
Docs: Update sphinx targets with the build directory
Because Makefile.sphinx looks like a standard makefile from the sphinx
project, it probably shouldn't be updated without good reason. This
change lets us update the output directory and tell the Makefile.sphinx
where we want the output.
Also fix the spacing on PDFLATEX to match the new SPHINXDIR variable.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: Iab111e8feea8ec02260f39636e7c17fd1cae7c30
Reviewed-on: https://review.coreboot.org/c/coreboot/+/75499
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to 'src/arch/arm/boot.c')
0 files changed, 0 insertions, 0 deletions