diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
index 37b56373a3bf..329352b3a3c8 100644
--- a/doc/sphinxext/redirect_from.py
+++ b/doc/sphinxext/redirect_from.py
@@ -94,10 +94,15 @@ 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]}")
+ f"{domain.redirects[redirected_reldoc]}\n"
+ f"Cannot also redirect it to {current_doc}"
+ )
domain.redirects[redirected_reldoc] = current_doc
return []
pFad - Phonifier reborn
Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies:
Alternative Proxy
pFad Proxy
pFad v3 Proxy
pFad v4 Proxy