changeset 10518 | d276e4b332ba |
parent 10512 | 99bdd4bddd77 |
child 10544 | cb2c9746341d |
--- a/tox.ini Thu Jul 02 11:46:57 2015 +0200 +++ b/tox.ini Wed Jul 08 09:37:06 2015 +0200 @@ -47,6 +47,9 @@ [testenv:wsgi] [testenv:doc] -changedir = doc/book/en -deps = sphinx -commands = make html +changedir = doc +whitelist_externals = + sphinx-build +deps = + sphinx +commands = sphinx-build -b html -d {envtmpdir}/doctrees . {envtmpdir}/html