From 88ec6f4038576fd5673c446790ec5cb11b4c96af Mon Sep 17 00:00:00 2001 From: Erik Sundell Date: Wed, 24 May 2023 10:49:38 +0200 Subject: [PATCH] docs: setup redirects to ensure we don't get broken links --- docs/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 0c40f58..677ed3b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -107,4 +107,7 @@ ogp_use_first_image = True rediraffe_branch = "main" rediraffe_redirects = { # "old-file": "new-folder/new-file-name", + "howto/env/user-environment": "howto/user-env/user-environment", + "howto/env/notebook-interfaces": "howto/user-env/notebook-interfaces", + "howto/env/server-resources": "howto/user-env/server-resources", }