From: Daniele Varrazzo <daniele.varrazzo@gmail.com>
Date: Sun, 20 Mar 2022 11:32:36 +0000 (+0100)
Subject: build(docs): don't exit with success if building html docs failed
X-Git-Tag: 3.1~165
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cf6a5696bc917d1ce3d8408b1205865b027160b4;p=thirdparty%2Fpsycopg.git

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 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]