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 = .