From bd8cd3f5300042a60da0e91cfb3228d5bd0b5108 Mon Sep 17 00:00:00 2001
From: Claudiu Popa <pcmanticore@gmail.com>
Date: Mon, 4 Jun 2018 10:35:34 -0700
Subject: Build the documentation with tox

---
 tox.ini | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'tox.ini')

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
-- 
cgit v1.2.1