projects / platform / upstream / mesa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a85c318) | patch
docs: verify that targets for relative redirects exist
authorErik Faye-Lund <erik.faye-lund@collabora.com>
Wed, 21 Oct 2020 11:38:23 +0000 (13:38 +0200)
committerMarge Bot <eric+marge@anholt.net>
Wed, 21 Oct 2020 18:11:39 +0000 (18:11 +0000)
commit7daf953bc0e67f4f205560138f8fdedb2ec6ca57
treef046db62505b7c88e20d9b58bd1a4a40c5ce52aatree | snapshot
parenta85c3189fa7f5b2a40b49ac953d88cf8c8ca8206commit | diff
docs: verify that targets for relative redirects exist

This makes it a bit easier to update the redirects.

Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7174>
docs/_exts/redirects.py diff | blob | history
Domain: Graphics System / GL;