diff options
| author | Paolo Melchiorre <paolo@melchiorre.org> | 2024-11-27 22:15:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-27 18:15:25 -0300 |
| commit | 0977ec671a1672ae5a5bb6e4ec4749f7aee7273d (patch) | |
| tree | b9c2332d034c25a8a252d2eb0cb0b6d30bc8bd56 /docs/Makefile | |
| parent | e9929cb4946ca334668cff85ca72d1cddeaa8b07 (diff) | |
Added parallelism support via --jobs to docs build Makefile rule.
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 596e7fc2dd..15383bdd38 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -8,6 +8,7 @@ SPHINXBUILD ?= sphinx-build PAPER ?= BUILDDIR ?= _build LANGUAGE ?= +JOBS ?= auto # Set the default language. ifndef LANGUAGE @@ -21,7 +22,7 @@ LANGUAGEOPT = $(firstword $(subst _, ,$(LANGUAGE))) # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 PAPEROPT_letter = -D latex_paper_size=letter -ALLSPHINXOPTS = -n -d $(BUILDDIR)/doctrees -D language=$(LANGUAGEOPT) $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . +ALLSPHINXOPTS = -n -d $(BUILDDIR)/doctrees -D language=$(LANGUAGEOPT) --jobs $(JOBS) $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . # the i18n builder cannot share the environment and doctrees with the others I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . |