summaryrefslogtreecommitdiff
path: root/makespec.py
AgeCommit message (Collapse)Author
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
Removes build dependency on pandoc. Closes #256. Note: we have lost "smart punctuation," but we can either (a) add an option to do this in the cmark renderer, or (b) insert unicode punctuation in the spec as needed. Not an urgent issue in any case.
2015-01-04makespec.py: create toc without relying on pandoc.John MacFarlane
We're still using pandoc, but this is one step closer to using cmark to build spec.html.
2015-01-04Improved spec.pdf production.John MacFarlane
Boldface definitions.
2015-01-04spec2md.py -> makespec.py.John MacFarlane
Moved HTML generation out of Makefile.