diff options
author | Stefan Sauer <ensonic@users.sf.net> | 2018-05-01 15:25:02 +0200 |
---|---|---|
committer | Stefan Sauer <ensonic@users.sf.net> | 2018-05-01 15:25:02 +0200 |
commit | a92915d2020df12868b036e98fd3810d512ee4b5 (patch) | |
tree | e0b231b75c219fd48dd2b62c86dce0d7e1cfa6e9 /tools | |
parent | fb14c1c12fe3fee4abfa588884d927cb398c0857 (diff) | |
download | gtk-doc-a92915d2020df12868b036e98fd3810d512ee4b5.tar.gz |
c10n-html: filter empty titlepage divs
Diffstat (limited to 'tools')
-rwxr-xr-x | 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) |