tree d64746f855cd61b0698200b0e28ce47326f62b49
parent 34e43f602fb7570ce5adea4f0935c608614244f1
author Martin Roth <gaumless@gmail.com> 1685423394 -0600
committer Felix Singer <service+coreboot-gerrit@felixsinger.de> 1685825931 +0000

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>