From ecaf455277b07f1791e20e739d531f5988c3f728 Mon Sep 17 00:00:00 2001
From: ridiculousfish <rf@fishshell.com>
Date: Sat, 25 Sep 2021 12:17:46 -0700
Subject: [PATCH] sphinx-build to use multiple processes

sphinx-build supports the -j option to use multiple processes. Start using
it. This reduces the time to build the docs on my Linux box from 11 seconds
to about 4.

Note this doesn't work on macOS since -j is ignored there (see sphinx-build
PR 6879).
---
 cmake/Docs.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cmake/Docs.cmake b/cmake/Docs.cmake
index 5f095daae..e5c81c852 100644
--- a/cmake/Docs.cmake
+++ b/cmake/Docs.cmake
@@ -19,6 +19,7 @@ add_custom_target(sphinx-docs
     mkdir -p ${SPHINX_HTML_DIR}/_static/
     COMMAND env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
         ${SPHINX_EXECUTABLE}
+        -j auto
         -q -b html
         -c "${SPHINX_SRC_DIR}"
         -d "${SPHINX_CACHE_DIR}"
@@ -31,6 +32,7 @@ add_custom_target(sphinx-docs
 add_custom_target(sphinx-manpages
     env PATH="$<TARGET_FILE_DIR:fish_indent>:$$PATH"
         ${SPHINX_EXECUTABLE}
+        -j auto
         -q -b man
         -c "${SPHINX_SRC_DIR}"
         -d "${SPHINX_CACHE_DIR}"