Try parallel Sphinx builds and hide progress

Author: wouterj

.github/workflows/ci.yaml

@@ -41,7 +41,7 @@ jobs:
                 run: pip install -r _build/.requirements.txt
 
             -   name: "Build documentation"
-                run: make -C _build SPHINXOPTS=-nW html
+                run: make -C _build SPHINXOPTS="-nqW -j2" html
 
     doctor-rst:
         name: DOCtor-RST

_build/conf.py

@@ -35,7 +35,7 @@
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = [
     'sphinx.ext.autodoc', 'sphinx.ext.doctest', 'sphinx.ext.todo',
-    'sensio.sphinx.refinclude', 'sensio.sphinx.configurationblock', 'sensio.sphinx.phpcode', 'sensio.sphinx.bestpractice', 'sensio.sphinx.codeblock',
+    'sensio.sphinx.configurationblock', 'sensio.sphinx.phpcode', 'sensio.sphinx.bestpractice', 'sensio.sphinx.codeblock',
     'symfonycom.sphinx'
     #,'sphinxcontrib.spelling'
 ]