docs: store prefixes in redirects
This allows us to link to articles that are using pretty-URLs without
adding an ugly "/index.html"-suffix to them.
Reviewed-by: Eric Engestrom <eric@engestrom.ch>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6862>
diff --git a/docs/_exts/redirects.py b/docs/_exts/redirects.py
index af53f7f..3c60095 100644
--- a/docs/_exts/redirects.py
+++ b/docs/_exts/redirects.py
@@ -1,8 +1,8 @@
import os
redirects = [
- ('llvmpipe', 'gallium/drivers/llvmpipe'),
- ('postprocess', 'gallium/postprocess')
+ ('llvmpipe', 'gallium/drivers/llvmpipe.html'),
+ ('postprocess', 'gallium/postprocess.html')
]
def create_redirect(dst):
@@ -14,9 +14,8 @@
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))
+ f.write(create_redirect(dst))
def setup(app):
app.connect('build-finished', create_redirects)