Circle: Build docs in parallel.

QuLogic · QuLogic · commit afef2e62f9f8 · 2022-08-04T22:53:33.000-04:00
We are now on large Docker VMs, which offer 4 vCPUs, so we should try to
build in parallel.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -141,7 +141,7 @@ commands:
                [ "$CIRCLE_PR_NUMBER" = "" ]; then
               export RELEASE_TAG='-t release'
             fi
-            make html O="-T $RELEASE_TAG"
+            make html O="-T $RELEASE_TAG -j4"
             rm -r build/html/_sources
           working_directory: doc
       - save_cache:
