diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-04 10:35:34 -0700 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-04 10:38:11 -0700 |
commit | bd8cd3f5300042a60da0e91cfb3228d5bd0b5108 (patch) | |
tree | 237f20a3f604d01e872d3ee32dbf1d2bf3598b24 /tox.ini | |
parent | 3306437d7b0dcb113bc80d2dae2aa5a36b830110 (diff) | |
download | pylint-git-bd8cd3f5300042a60da0e91cfb3228d5bd0b5108.tar.gz |
Build the documentation with tox
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -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 |