From d2dfbf0e66bde6f671575fd6fe0c50e2facc2420 Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Fri, 25 Sep 2020 12:49:03 +0200 Subject: 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 Part-of: --- docs/_exts/redirects.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'docs') diff --git a/docs/_exts/redirects.py b/docs/_exts/redirects.py index af53f7f4fde..3c6009549f7 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 @@ def create_redirects(app, docname): 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) -- cgit v1.2.3