diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-09-29 22:31:35 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-09-29 23:51:29 +1000 |
| commit | b76ddcbc83b7235ab373e764ae033c1e5cecddd1 (patch) | |
| tree | c41856f78399023d552ae59c021ccf1fb904d249 | |
| parent | fecfbc3f678c8f2f6c450abf840bbefca48a57d0 (diff) | |
docs/Makefile: Enable parallel compilation for Sphinx.
This has a fairly dramatic (nearly 3x on a 6-core machine) speedup for docs
compilation, with no impact on correctness.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 05709617c..766a669a5 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,7 +3,7 @@ # You can set these variables from the command line. PYTHON = python3 -SPHINXOPTS = -W --keep-going +SPHINXOPTS = -W --keep-going -j auto SPHINXBUILD = sphinx-build PAPER = BUILDDIR = build/$(MICROPY_PORT) |