[gtk-doc] c10n-html: drop generated idrefs

[Stefan Sauer <stefkost src gnome org>]

commit 665acb01bba52020b817d594458ca90db8997aea
Author: Stefan Sauer <ensonic users sf net>
Date:   Wed May 2 20:07:24 2018 +0200

    c10n-html: drop generated idrefs
    
    Those are quite pointless - how can anyone link to them without relying on the 'id'?

 tools/c10e-html.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/tools/c10e-html.py b/tools/c10e-html.py
index d4a8535..a568125 100755
--- a/tools/c10e-html.py
+++ b/tools/c10e-html.py
@@ -31,6 +31,7 @@ def prettify(filename):
   </div>
 """, '', html)
         html = re.sub(r'\s*<p>\s*</p>', '', html)
+        html = re.sub(r'\s*<a name="id-[.0-9]+">\s*</a>', '', html)
         html = re.sub(r'\s*<div class="titlepage">\s*</div>', '', html)
         html = re.sub(r'\s*<meta content="DocBook[^>]*>', '', html)
         html = re.sub(r'\s*<meta content="GTK-Doc[^>]*>', '', html)