c10e-html: strip more stuff
commitd89aab696b8af1708ff35d01ed7a551975ce9d2b
authorStefan Sauer <ensonic@users.sf.net>
Sat, 28 Apr 2018 11:45:26 +0000 (28 13:45 +0200)
committerStefan Sauer <ensonic@users.sf.net>
Sat, 28 Apr 2018 11:45:26 +0000 (28 13:45 +0200)
tree20cfe840f4fdb1dd9fb3435ebf30894d33496b09
parentcf03f05fb72021fd11e2ba7dd1b758e424ec7790
c10e-html: strip more stuff

Strip empty paras and ignore versions in the footer.
tools/c10e-html.py