From cf6a5696bc917d1ce3d8408b1205865b027160b4 Mon Sep 17 00:00:00 2001
From: Daniele Varrazzo <daniele.varrazzo@gmail.com>
Date: Sun, 20 Mar 2022 12:32:36 +0100
Subject: [PATCH] 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.
---
 docs/Makefile | 2 +-
 tox.ini       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 31ade3f2d..8df6ecc5c 100644
--- 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 a8bf30784..7060f0b57 100644
--- 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]
-- 
2.47.2