Only error if redirect is different

dstansby · dstansby · commit 347dceb1dd2e · 2025-07-14T20:21:08.000+01:00
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -94,7 +94,8 @@ def run(self):
         domain = self.env.get_domain('redirect_from')
         current_doc = self.env.path2doc(self.state.document.current_source)
         redirected_reldoc, _ = self.env.relfn2path(redirected_doc, current_doc)
-        if redirected_reldoc in domain.redirects:
+        if (redirected_reldoc in domain.redirects
+                and domain.redirects[redirected_reldoc] != current_doc):
             raise ValueError(
                 f"{redirected_reldoc} is already noted as redirecting to "
                 f"{domain.redirects[redirected_reldoc]}")
