From 6b911a526700d02bae664d6443cc7c0bca2fcd85 Mon Sep 17 00:00:00 2001
From: Mike Bayer <mike_mp@zzzcomputing.com>
Date: Sun, 26 Sep 2010 12:55:51 -0400
Subject: [PATCH] for internal link to top render #

---
 doc/build/builder/util.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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 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('.html', text)
+    return re.compile(r'(\.html)?#[-\w]+-toplevel').sub(go, text)
     
-- 
2.47.2