diff --git a/Makefile b/Makefile index d0ace2a1ccb..63872a1721c 100644 --- a/Makefile +++ b/Makefile @@ -67,4 +67,4 @@ test-examples: # Check that docs can build docs: - cd docs && make html SPHINXOPTS="-W" + cd docs && make html SPHINXOPTS="-W -j 4"