From cdbb3c2098929c8166225048d2262b8f975e25cd Mon Sep 17 00:00:00 2001 From: Alessandro Cosentino Date: Mon, 18 Mar 2024 20:00:14 +0100 Subject: [PATCH] Distribute docs build over number of CPUs. --- AUTHORS | 3 ++- docs/Makefile | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/AUTHORS b/AUTHORS index 8054f55088..6a8bca1fee 100644 --- a/AUTHORS +++ b/AUTHORS @@ -56,4 +56,5 @@ Farzad Kianvash Yash Prabhat Vladimir Kozhukalov Francesc Sabater -Emiliano Godinez \ No newline at end of file +Emiliano Godinez +Alessandro Cosentino \ No newline at end of file diff --git a/docs/Makefile b/docs/Makefile index 7d4f27870e..4e6f1d14e1 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,7 +3,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 = source BUILDDIR = build