FIX: skip non-existent URIs

jklymak · jklymak · commit 6a769d09d52c · 2021-03-27T09:52:44.000-07:00
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -65,8 +65,11 @@ def run(self):
             raise ValueError(
                 f"{redirected_reldoc} is already noted as redirecting to "
                 f"{self.redirects[redirected_reldoc]}")
-        self.redirects[redirected_reldoc] = builder.get_relative_uri(
-            redirected_reldoc, current_doc)
+        try:
+            self.redirects[redirected_reldoc] = builder.get_relative_uri(
+                redirected_reldoc, current_doc)
+        except:
+            pass
         return []
 
 
