[MERGE] Forward-port of branch 12.0 to 13.0

2025-12-12 07:29:27 +07:00 · 2021-06-07 09:09:43 +02:00
parent 9db11c78c9 b1b48759ba
commit a8cfd6c6c5
27 changed files with 569 additions and 545 deletions
--- a/2
+++ b/2
@@ -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