jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/858681 ) Change subject: [doc] use multiple processes to build Sphinx distribution ...................................................................... [doc] use multiple processes to build Sphinx distribution Change-Id: I8ab7df4a0916f554abdb8dc76fb2acff33952d17 --- M tox.ini 1 file changed, 10 insertions(+), 1 deletion(-) Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified diff --git a/tox.ini b/tox.ini index 8ef0770..c26452c 100644 --- a/tox.ini +++ b/tox.ini @@ -83,7 +83,7 @@ [testenv:doc] commands = - sphinx-build -M html ./docs ./docs/_build + sphinx-build -M html ./docs ./docs/_build -j auto rstcheck --version rstcheck -r --report-level WARNING --ignore-roles api,phab . basepython = python3.7 -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/858681 To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Change-Id: I8ab7df4a0916f554abdb8dc76fb2acff33952d17 Gerrit-Change-Number: 858681 Gerrit-PatchSet: 1 Gerrit-Owner: Xqt <info(a)gno.de> Gerrit-Reviewer: Xqt <info(a)gno.de> Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged