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 /lib/micropython-lib | |
| 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>
Diffstat (limited to 'lib/micropython-lib')
0 files changed, 0 insertions, 0 deletions