Build the documentation with tox

1 files changed, 15 insertions, 0 deletions

diff --git a/tox.ini b/tox.ini
index 06532e4b9..2f2cf0bff 100644
--- a/tox.ini
+++ b/tox.ini
@@ -55,3 +55,18 @@ skip_install = true
 commands =
     python {envsitepackagesdir}/coverage erase
 changedir = {toxinidir}
+
+[testenv:docs]
+skipsdist = True
+usedevelop = True
+changedir = doc/
+whitelist_externals = rm
+deps =
+   sphinx
+
+commands =
+  rm -f features.rst
+  python ./exts/pylint_features.py
+  rm -f extensions.rst
+  python ./exts/pylint_extensions.py
+  sphinx-build -b html -d _build/doctrees   . _build/html