Only overwrite the href on legacy docs redirects, not the complete URL.

ad37cba5 · Stefan Behnel · c9c2ee2f · ad37cba5
Commit ad37cba5 authored Jul 07, 2018 by Stefan Behnel
Show whitespace changes
Inline Side-by-side

Showing with 4 additions and 12 deletions

docs/conf.py docs/conf.py +4 -12

No files found.
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -459,22 +459,14 @@ pdf_fit_background_mode = 'scale'
 # Making redirection:
-html_template = """
+html_template = """\
 <html>
    <head>
        <script>
-            // Redirect to the new-style URL
+            // Redirect to the new-style URL, but keep any #anchor etc.
-            var new_location = '{0}'
+            window.location.href = '{0}';
-            // Some browsers include the hash character in the anchor, strip it out
-            const anchor = window.location.hash.replace(/^#(.*)/, '$1');
-            if (anchor){{
-                new_location += '#' + anchor;
-            }}
-            window.location = new_location
        </script>
-        <meta http-equiv="refresh" content="1; url={0}:" />
+        <meta http-equiv="refresh" content="1; url={0}" />
    </head>
 </html>
 """