Note where redirect is trying to go

dstansby · dstansby · commit 90d05e78e3e4 · 2025-07-14T12:55:11.000+01:00
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -99,7 +99,7 @@ def run(self):
             raise ValueError(
                 f"{redirected_reldoc} is already noted as redirecting to "
                 f"{domain.redirects[redirected_reldoc]}\n"
-                f"Current redirects: {domain.redirects}")
+                f"Cannot also redirect it to {current_doc}")
         domain.redirects[redirected_reldoc] = current_doc
         return []
 
