diff --git a/.hgignore b/.hgignore index 02e3c2b..acf5109 100644 --- a/.hgignore +++ b/.hgignore @@ -3,4 +3,4 @@ syntax: glob build grid28.gif copyedit - +proofs diff --git a/util/htmlminimizer.py b/util/htmlminimizer.py index 42a74af..4356c78 100755 --- a/util/htmlminimizer.py +++ b/util/htmlminimizer.py @@ -1,9 +1,11 @@ +#!/usr/bin/python3 """Quick-and-dirty HTML minimizer""" import sys import re import html.entities import itertools +import os.path _SERVERS = ['a.wearehugh.com', 'b.wearehugh.com', @@ -52,4 +54,6 @@ with open(output_file, 'w', encoding="utf-8") as _out, open(input_file, encoding _out.write(line) else: _out.write(g) - + if g.lower() == '': + _out.write('\n\n'.format(os.path.basename(input_file))) +