[gtk-doc] c10n-html: filter empty titlepage divs
- From: Stefan Sauer <stefkost src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk-doc] c10n-html: filter empty titlepage divs
- Date: Tue, 1 May 2018 13:40:17 +0000 (UTC)
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)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]