build(docs): don't exit with success if building html docs failed

Responsible of 2020-03-19 docs downtime. See #252.

diff --git a/docs/Makefile b/docs/Makefile
index c85ae657ecd1b649097bae8d5d42817529dcbba0..44d5461667174015aa76924c0b6926dd009b4e71 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -27,4 +27,4 @@ env: .venv
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-       @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) || true
+       @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

diff --git a/tox.ini b/tox.ini
index 1d6bed40c7b355d510d0c5793169bf9016a91b59..c2187f2f84e4fc52630eb9e02c24657f0860b5aa 100644 (file)
--- a/tox.ini
+++ b/tox.ini
@@ -1,5 +1,5 @@
 [tox]
-envlist = black, flake8, mypy
+envlist = black, flake8, mypy, docs
 isolated_build = True
 
 [testenv]