summaryrefslogtreecommitdiff
path: root/makespec.py
AgeCommit message (Collapse)Author
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.