[gtk-doc] c10n-html: filter empty titlepage divs

[Stefan Sauer <stefkost src gnome org>]

commit a92915d2020df12868b036e98fd3810d512ee4b5
Author: Stefan Sauer <ensonic users sf net>
Date:   Tue May 1 15:25:02 2018 +0200

    c10n-html: filter empty titlepage divs

 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 3247e4f..d4a8535 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*<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)
         doc.write(html)