tox.ini
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