Re: [PATCH v2 01/11] doc: Build documentation in parallel

20 Aug 2022

+Heinrich Schuchardt
On Sat, 13 Aug 2022 at 11:41, Simon Glass sjg@chromium.org wrote:
...
With the addition of the revision stats this now takes over a minute. Use
a parallel build to reduce it a bit (24 seconds for me).
Series-changes; 2

Use '-j auto' instead

Signed-off-by: Simon Glass sjg@chromium.org
(no changes since v1)
doc/Makefile | 1 +
 1 file changed, 1 insertion(+)
Does this look OK to you?
...

diff --git a/doc/Makefile b/doc/Makefile
index 050d9dd2391..a0680f9a376 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -57,6 +57,7 @@ quiet_cmd_sphinx = SPHINX  $@ --> file://$(abspath $(BUILDDIR)/$3/$4)
        BUILDDIR=$(abspath $(BUILDDIR)) SPHINX_CONF=$(abspath $(srctree)/$(src)/$5/$(SPHINX_CONF)) \
        $(SPHINXBUILD) \
        -b $2 \

  -j auto \
  -c $(abspath $(srctree)/$(src)) \
  -d $(abspath $(BUILDDIR)/.doctrees/$3) \
  -D version=$(KERNELVERSION) -D release=$(KERNELRELEASE) \



--
2.37.1.595.g718a3a8f04-goog
Regards,
Simon

    