# HG changeset patch # User Paper <37962225+mrpapersonic@users.noreply.github.com> # Date 1666828140 14400 # Node ID 48eea72be3388d019ae71885db77c9bd7d429590 # Parent cbf293a787d3eb5595933f61510192e2ef0f8006 Update generatehtml.py committer: GitHub diff -r cbf293a787d3 -r 48eea72be338 generatehtml.py --- a/generatehtml.py Wed Oct 26 19:44:37 2022 -0400 +++ b/generatehtml.py Wed Oct 26 19:49:00 2022 -0400 @@ -10,7 +10,7 @@ def addtitle(out_str, title): # add stuff here # The title in question: - out_str += """
\n

%s

\n
\n""" % html.escape(title.strip()) + out_str += """
\n

%s

\n
\n""" % html.escape(title.strip()) return out_str def main(argv):