]> git.ipfire.org Git - thirdparty/psycopg.git/commitdiff
build(docs): don't exit with success if building html docs failed
authorDaniele Varrazzo <daniele.varrazzo@gmail.com>
Sun, 20 Mar 2022 11:32:36 +0000 (12:32 +0100)
committerDaniele Varrazzo <daniele.varrazzo@gmail.com>
Sat, 13 Aug 2022 00:12:14 +0000 (02:12 +0200)
Responsible of 2020-03-19 docs downtime. See #252.

docs/Makefile
tox.ini

index c85ae657ecd1b649097bae8d5d42817529dcbba0..44d5461667174015aa76924c0b6926dd009b4e71 100644 (file)
@@ -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]