diff options
Diffstat (limited to 'tools/makespec.py')
| -rwxr-xr-x | tools/makespec.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/makespec.py b/tools/makespec.py index 925f23c..aa75b35 100755 --- a/tools/makespec.py +++ b/tools/makespec.py @@ -70,16 +70,17 @@ with open('spec.txt', 'r', encoding='utf-8') as spec: mdlines.append("<div class=\"examplenum\"><a href=\"#example-{0}\">Example {0}</a>".format(example)) if specformat == "html": mdlines.append(" <a class=\"dingus\" title=\"open in interactive dingus\">(interact)</a>") - mdlines.append("</div>\n\n") + mdlines.append("</div>\n<div class=\"column\">\n\n") mdlines.append("````````````````````````````````````````````````````````` markdown\n") stage = 1 elif stage == 1: mdlines.append("`````````````````````````````````````````````````````````\n\n") + mdlines.append("\n</div>\n\n<div class=\"column\">\n\n") mdlines.append("````````````````````````````````````````````````````````` html\n") stage = 2 elif stage == 2: mdlines.append("`````````````````````````````````````````````````````````\n\n") - mdlines.append("</div>\n") + mdlines.append("</div>\n</div>\n") stage = 0 else: sys.stderr.out("Encountered unknown stage {0}\n".format(stage)) |