From 47f52e83d1074b3833a4a4c98b87ac23c04a38f6 Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Wed, 21 Oct 2020 13:42:30 +0200 Subject: [PATCH] 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 Part-of: --- docs/_exts/redirects.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/_exts/redirects.py b/docs/_exts/redirects.py index 4528189956e..04308b711bd 100644 --- 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))