summaryrefslogtreecommitdiff
path: root/makespec.py
AgeCommit message (Expand)Author
2015-01-12Moved templates, makespec.py, and specfilter.hs -> tools/.John MacFarlane
2015-01-05makespec.py: put pluralizing s inside link for better visuals.John MacFarlane
2015-01-05makespec.py: put ids on headers, not separate anchor.John MacFarlane
2015-01-04Strip {-} off unnumbered sections in HTML version of spec.John MacFarlane
2015-01-04Moved spec.html error checks into makespec.py.John MacFarlane
2015-01-04Removed second parameter of makespec.py.John MacFarlane
2015-01-04Use cmark itself to build spec.html.John MacFarlane
2015-01-04makespec.py: create toc without relying on pandoc.John MacFarlane
2015-01-04Improved spec.pdf production.John MacFarlane
2015-01-04spec2md.py -> makespec.py.John MacFarlane