diff options
author | Simon Glass <sjg@chromium.org> | 2023-08-21 13:08:00 -0600 |
---|---|---|
committer | Martin L Roth <gaumless@gmail.com> | 2023-09-03 22:33:11 +0000 |
commit | 7de2fa3c7fabd2ff02e261c66f09c5e2ff989c07 (patch) | |
tree | 8ed7c00d4d8ac2d12119d65c13076f6936fb1916 /.editorconfig | |
parent | c0986a4b9fc10bb7f397eca62b8824977244e99a (diff) |
docs: Build in parallel
Use all available cores to speed up building the documentation.
As $(SPHINXOPTS) has no default in `Makefile.sphinx`, we can
communicate it to all sub-makes via `export`.
Change-Id: I25996f17348505722f3489a15a975de620331b5a
Signed-off-by: Simon Glass <sjg@chromium.org>
Signed-off-by: Nico Huber <nico.h@gmx.de>
Original-reviewed-on: https://review.coreboot.org/c/coreboot/+/77363
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77452
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions