From: Erik Faye-Lund Date: Sat, 1 Jan 2022 13:03:53 +0000 (+0100) Subject: docs: use http-redirect when possible X-Git-Tag: upstream/22.3.5~13403 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=f07f4d5ec559c8fa993f773ff997ac769191af97;p=platform%2Fupstream%2Fmesa.git docs: use http-redirect when possible GitLab Pages has added a feature to do proper HTTP redirects, which are genreally better than the HTML redirects we currently use. Unfortunately, it doesn't support redirecting to other domains, all paths must start with a slash. So there's sadly *one* redirect this doesn't work for. So let's leave that one using a HTML redirect, and use HTTP redirects when we can. Reviewed-by: Eric Engestrom Part-of: --- diff --git a/docs/_extra/_redirects b/docs/_extra/_redirects new file mode 100644 index 0000000..ceb66d9 --- /dev/null +++ b/docs/_extra/_redirects @@ -0,0 +1,9 @@ +/drivers/vmware-guest.html /drivers/svga3d.html 301 +/gallium/drivers/freedreno.html /drivers/freedreno.html 301 +/gallium/drivers/freedreno/ir3-notes.html /drivers/freedreno/ir3-notes.html 301 +/gallium/drivers/llvmpipe.html /drivers/llvmpipe.html 301 +/gallium/drivers/zink.html /drivers/zink.html 301 +/llvmpipe.html /drivers/llvmpipe.html 301 +/postprocess.html /gallium/postprocess.html 301 +/versions.html /relnotes.html 301 +/vmware-guest.html /drivers/vmware-guest.html 301 diff --git a/docs/conf.py b/docs/conf.py index 998f209..ab4c338 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -135,15 +135,6 @@ html_extra_path = [ ] html_redirects = [ - ('drivers/vmware-guest', 'drivers/svga3d.html'), - ('gallium/drivers/freedreno', 'drivers/freedreno.html'), - ('gallium/drivers/freedreno/ir3-notes', 'drivers/freedreno/ir3-notes.html'), - ('gallium/drivers/llvmpipe', 'drivers/llvmpipe.html'), - ('gallium/drivers/zink', 'drivers/zink.html'), - ('llvmpipe', 'drivers/llvmpipe.html'), - ('postprocess', 'gallium/postprocess.html'), - ('versions', 'relnotes.html'), - ('vmware-guest', 'drivers/vmware-guest.html'), ('webmaster', 'https://www.mesa3d.org/website/'), ]