diff options
| author | Erik Faye-Lund <erik.faye-lund@collabora.com> | 2020-07-02 12:14:28 +0200 |
|---|---|---|
| committer | Marge Bot <eric+marge@anholt.net> | 2020-07-07 10:22:08 +0000 |
| commit | 64a4ba9e1ceeccbc7adeae368b5bc2553be88610 (patch) | |
| tree | b7213a74f8ec5277e056f51e545d6e8c610863c9 /docs/_exts | |
| parent | ce5a3524faa8cbcb2338a46b7178a2702f4f838a (diff) | |
| download | external_mesa3d-64a4ba9e1ceeccbc7adeae368b5bc2553be88610.tar.gz external_mesa3d-64a4ba9e1ceeccbc7adeae368b5bc2553be88610.tar.bz2 external_mesa3d-64a4ba9e1ceeccbc7adeae368b5bc2553be88610.zip | |
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>
Diffstat (limited to 'docs/_exts')
| -rw-r--r-- | docs/_exts/redirects.py | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/_exts/redirects.py b/docs/_exts/redirects.py new file mode 100644 index 00000000000..4eb7b855b58 --- /dev/null +++ b/docs/_exts/redirects.py @@ -0,0 +1,19 @@ +import os + +redirects = [] + +def create_redirect(dst): + tpl = '<html><head><meta http-equiv="refresh" content="0; url={0}"><script>window.location.replace("{0}")</script></head></html>' + return tpl.format(dst) + +def create_redirects(app, docname): + if not app.builder.name == 'html': + return + for src, dst in redirects: + path = os.path.join(app.outdir, '{0}.html'.format(src)) + url = '{0}.html'.format(dst) + with open(path, 'w') as f: + f.write(create_redirect(url)) + +def setup(app): + app.connect('build-finished', create_redirects) |