CI: make docs jobs logs more quiet

[releng/builder.git] / tox.ini

diff --git a/tox.ini b/tox.ini
index 9a683a0e135f32bb3a312b7b8091409d24304a6c..4ab7773a42e8c4bf815c0bfa7779c99bbc052283 100644 (file)
--- a/tox.ini
+++ b/tox.ini
@@ -5,13 +5,13 @@ skipsdist = true
 
 [testenv:docs]
 deps = -rdocs/requirements.txt
-commands = sphinx-build -W -b html -d {envtmpdir}/doctrees ./docs/ {toxinidir}/docs/_build/html
+commands = sphinx-build -q -W -b html -d {envtmpdir}/doctrees ./docs/ {toxinidir}/docs/_build/html
 
 [testenv:docs-linkcheck]
 passenv = http_proxy HTTP_PROXY https_proxy HTTPS_PROXY no_proxy NO_PROXY
 basepython = python3
 deps = -rdocs/requirements.txt
-commands = sphinx-build -W -b linkcheck -d {envtmpdir}/doctrees ./docs/ {toxinidir}/docs/_build/linkcheck
+commands = sphinx-build -q -W -b linkcheck -d {envtmpdir}/doctrees ./docs/ {toxinidir}/docs/_build/linkcheck
 
 [testenv:jenkins-jobs]
 deps =