docs: add an extension to generate redirects
authorErik Faye-Lund <erik.faye-lund@collabora.com>
Thu, 2 Jul 2020 10:14:28 +0000 (12:14 +0200)
committerMarge Bot <eric+marge@anholt.net>
Tue, 7 Jul 2020 10:22:08 +0000 (10:22 +0000)
commit64a4ba9e1ceeccbc7adeae368b5bc2553be88610
treeb7213a74f8ec5277e056f51e545d6e8c610863c9
parentce5a3524faa8cbcb2338a46b7178a2702f4f838a
docs: add an extension to generate redirects

Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5706>
docs/_exts/redirects.py [new file with mode: 0644]
docs/conf.py