From 08fd14f9589b6e0e3155ba728a5e7031b9250f91 Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Fri, 11 Nov 2022 13:32:01 +0100 Subject: [PATCH] sphinx: stop using parallel mode Noticed that the documentation build can stuck on a machine with many cores (160) and I identified a real sphinx problem: https://github.com/sphinx-doc/sphinx/issues/10969 Note the parallel can help just for some manuals and it is not critical for us. ChangeLog: * doc/Makefile: Disable -j auto. --- doc/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 9e305a8e7da..e08a43ecf2d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,11 @@ # # You can set these variables from the command line. -SPHINXOPTS ?= -j auto -q + +# Disable parallel reading as it can be very slow on a machine with CPUs: +# https://github.com/sphinx-doc/sphinx/issues/10969 + +SPHINXOPTS ?= -q SPHINXBUILD ?= sphinx-build PAPER ?= SOURCEDIR = . -- 2.47.3