[MERGE] Forward-port of branch 13.0 to 14.0

2021-06-07 09:12:44 +02:00
parent 2ec074d5a0 a8cfd6c6c5
commit 5469c2fb2c
27 changed files with 569 additions and 545 deletions
@@ -1,6 +1,6 @@
 # Makefile for Sphinx documentation

-# Pass WORKERS=auto for parallel build
+# Pass WORKERS=1 for single-worker build
 ifndef WORKERS
  WORKERS = auto
 endif