docs: do not generate redirects on error
authorErik Faye-Lund <erik.faye-lund@collabora.com>
Thu, 22 Apr 2021 11:46:41 +0000 (13:46 +0200)
committerMarge Bot <eric+marge@anholt.net>
Wed, 5 May 2021 09:37:18 +0000 (09:37 +0000)
commit2736370294427d87933ce7ae293e0465fbab77e2
tree88516bcd2c271ed4b165a6e4cccef7dbcee18f89
parent5a1675a03030c68f2f4b27f1a687b56762e4190a
docs: do not generate redirects on error

The build-finished event is also triggered when there's an error. I
somehow got the second argument wrong, and ended up ignoring the case.
This can lead to new exceptions being thrown due to missing files, that
ends up hiding the real problem.

Fixes: 64a4ba9e1ce ("docs: add an extension to generate redirects")
Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/10407>
docs/_exts/redirects.py