diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-04 08:48:50 -0700 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-04 08:48:50 -0700 |
commit | c271b85130f78c21d1b8691098327318eb8ca5b0 (patch) | |
tree | e4d2440dce8262a201ca868de4b6efa80c569ac4 | |
parent | f241998dfecb4a2947faaf5cacc5fcfcf8dad8b1 (diff) | |
download | astroid-git-c271b85130f78c21d1b8691098327318eb8ca5b0.tar.gz |
Build the docs with tox
-rw-r--r-- | tox.ini | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -63,3 +63,13 @@ skip_install = true commands = python {envsitepackagesdir}/coverage erase changedir = {toxinidir} + +[testenv:docs] +skipsdist = True +usedevelop = True +changedir = doc/ +deps = + sphinx + +commands = + sphinx-build -b html . build |