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

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

This commit is expected to fail linting if committed before
17f9703380ed4aed3ce88ba1e9f68a46b911dede and to succeed when rebased
after it.

...it doesn't: can't quite trigger a failure in Github Actions, although,
locally, "it fails correctly". Merging anyway.

diff --git a/docs/Makefile b/docs/Makefile
index 31ade3f2d35e9fe59c097347f34080b317165d77..8df6ecc5c222747e9dda6c53c20a2fc415905583 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 a8bf30784e1967c278d3899a56e3a537b206a89d..7060f0b5764964f13a097bf1fea5f2664badcae2 100644 (file)
--- a/tox.ini
+++ b/tox.ini
@@ -1,5 +1,5 @@
 [tox]
-envlist = black, flake8, mypy, codespell
+envlist = black, flake8, mypy, codespell, docs
 isolated_build = True
 
 [testenv]