[gtk-doc] c10e-html: strip more stuff

[Stefan Sauer <stefkost src gnome org>]

commit d89aab696b8af1708ff35d01ed7a551975ce9d2b
Author: Stefan Sauer <ensonic users sf net>
Date:   Sat Apr 28 13:45:26 2018 +0200

    c10e-html: strip more stuff
    
    Strip empty paras and ignore versions in the footer.

 tools/c10e-html.py |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/tools/c10e-html.py b/tools/c10e-html.py
index fa207f2..3247e4f 100755
--- a/tools/c10e-html.py
+++ b/tools/c10e-html.py
@@ -20,15 +20,17 @@ def prettify(filename):
         html = soup.prettify()
         # strip things that mkhtml2 is not producing to reduce the diff
         html = html.replace('a class="link" href', 'a href')
+        html = html.replace(' target="_top"', '')
         html = html.replace('summary="Navigation header" ', '')
-        html = html.replace("""  <div class="footer">
-   <hr/>
-   Generated by GTK-Doc V1.28.1
-  </div>
-""", '')
         html = html.replace("""   <a name="idx">
    </a>
 """, '')
+        html = re.sub("""  <div class="footer">
+   <hr/>
+   Generated by GTK-Doc V[.0-9]*
+  </div>
+""", '', html)
+        html = re.sub(r'\s*<p>\s*</p>', '', html)
         html = re.sub(r'\s*<meta content="DocBook[^>]*>', '', html)
         html = re.sub(r'\s*<meta content="GTK-Doc[^>]*>', '', html)
         doc.write(html)