diff options
| author | Oliver O'Halloran <oohall@gmail.com> | 2019-12-09 12:14:45 +1100 |
|---|---|---|
| committer | Oliver O'Halloran <oohall@gmail.com> | 2019-12-16 15:18:29 +1100 |
| commit | f59b2f6be123b06b292ce675965feb1599ffae43 (patch) | |
| tree | 56b7b65d61a701bff7a76a123a67df02ee3911e9 /doc | |
| parent | e23e0053f601c30a7f62a9f411fd183ee892017a (diff) | |
| download | skiboot-f59b2f6be123b06b292ce675965feb1599ffae43.zip skiboot-f59b2f6be123b06b292ce675965feb1599ffae43.tar.gz skiboot-f59b2f6be123b06b292ce675965feb1599ffae43.tar.bz2 | |
doc: Use parallel builds
Using all your cores makes re-building the documentation a significantly
faster. It'd be even faster if sphinx would stop assuming every single
.rst file changes between builds, but casual googling didn't reveal a
fix so -EEFFORT. Might be a bug in Sphinx 1.8.3 which Fedora is shipping.
Signed-off-by: Oliver O'Halloran <oohall@gmail.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index d3b9909..e658937 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS = -j auto SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build |