summaryrefslogtreecommitdiff
path: root/makespec.py
AgeCommit message (Collapse)Author
2015-01-04Improved spec.pdf production.John MacFarlane
Boldface definitions.
2015-01-04spec2md.py -> makespec.py.John MacFarlane
Moved HTML generation out of Makefile.