summaryrefslogtreecommitdiff
path: root/tools/template.html
AgeCommit message (Collapse)Author
2015-01-15Fixed (interact) link in template.html.John MacFarlane
This broke when we switched from pandoc to cmark for the spec, because the class on code changed from 'markdown' to 'language-markdown'.
2015-01-15Re-added tools/{makespec.py, template.html, template.tex}.John MacFarlane
These were inadvertently dropped in the commit that described them as being moved to tools/.