diff --git a/doc/build/builder/util.py b/doc/build/builder/util.py
index 0ae4de5cd4..dc2e27245a 100644
--- a/doc/build/builder/util.py
+++ b/doc/build/builder/util.py
@@ -3,6 +3,10 @@ import re
 def striptags(text):
     return re.compile(r'<[^>]*>').sub('', text)
 
-def strip_toplevel_anchors(text):
-    return re.compile(r'\.html#[-\w]+-toplevel').sub('.html', text)
+def go(m):
+    # .html with no anchor if present, otherwise "#" for top of page
+    return m.group(1) or '#'
+    
+def strip_toplevel_anchors(text):
+    return re.compile(r'(\.html)?#[-\w]+-toplevel').sub(go, text)