From cc7dc88e645f50f5bfe539a6683b4182530d041c Mon Sep 17 00:00:00 2001
From: Stefan Sauer <ensonic@users.sf.net>
Date: Sat, 7 Apr 2018 16:41:18 +0200
Subject: [PATCH] mkhtml2: add spans to refentry nav segments

---
 gtkdoc/mkhtml2.py | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/gtkdoc/mkhtml2.py b/gtkdoc/mkhtml2.py
index 014ae88..9e1539b 100644
--- a/gtkdoc/mkhtml2.py
+++ b/gtkdoc/mkhtml2.py
@@ -1085,10 +1085,14 @@ def generate_refentry_nav(ctx, refsect1s, result):
             continue
 
         title = xml_get_title(s)
+        ref_id = s.attrib['id']
+        span_id = ref_id.split('.')[1].replace('-', '_')
         result.append("""
-          <span class="dim">|</span> 
-          <a href="#%s" class="shortcut">%s</a>
-          """ % (s.attrib['id'], title))
+          <span id="nav_%s">
+            <span class="dim">|</span> 
+            <a href="#%s" class="shortcut">%s</a>
+          </span>
+          """ % (span_id, ref_id, title))
     result.append("""
     </td>
     %s
-- 
2.11.4.GIT