From 7b965a25d853f72bfc2d6d46fe35a5bab39c653d Mon Sep 17 00:00:00 2001 From: Matias N Date: Fri, 11 Sep 2020 12:08:02 -0300 Subject: [PATCH] Documentation: build documentation using sphinx -j option which parallelizes jobs --- Documentation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/Makefile b/Documentation/Makefile index 77f9b94130..7d19f170e6 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -23,7 +23,7 @@ # You can set these variables from the command line, and also # from the environment for the first two. -SPHINXOPTS ?= +SPHINXOPTS ?= -j auto SPHINXBUILD ?= sphinx-build SOURCEDIR = . BUILDDIR = _build