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