docs: specify redirects relative to docs-root

It's a lot easier to reason about redirects if they're specified
relative to thje docs-root, so let's do that instead.

Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7174>

diff --git a/docs/_exts/redirects.py b/docs/_exts/redirects.py
index 4528189..04308b7 100644 (file)
--- a/docs/_exts/redirects.py
+++ b/docs/_exts/redirects.py
@@ -1,4 +1,5 @@
 import os
+import pathlib
 from urllib.parse import urlparse
 
 redirects = [
@@ -20,6 +21,7 @@ def create_redirects(app, docname):
         os.makedirs(os.path.dirname(path), exist_ok=True)
 
         if urlparse(dst).scheme == "":
+            dst = pathlib.posixpath.relpath(dst, start=os.path.dirname(src))
             if not os.path.isfile(os.path.join(os.path.dirname(path), dst)):
                 raise Exception('{0} does not exitst'.format(dst))