From 14d46cb2be8edb93f2764ca18e35e414cf4e07ec Mon Sep 17 00:00:00 2001 From: Alfredo Deza Date: Fri, 7 Apr 2017 11:41:59 -0400 Subject: [PATCH] docs: create a separate docs tox.ini Signed-off-by: Alfredo Deza --- docs/tox.ini | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 docs/tox.ini diff --git a/docs/tox.ini b/docs/tox.ini new file mode 100644 index 000000000..028c343f6 --- /dev/null +++ b/docs/tox.ini @@ -0,0 +1,10 @@ +[tox] +envlist = docs +skipsdist = True + +[testenv:docs] +basepython=python +changedir=source +deps=sphinx +commands= + sphinx-build -W -b html -d {envtmpdir}/doctrees . {envtmpdir}/html -- 2.39.5