aboutsummaryrefslogtreecommitdiff
path: root/tools/makespec.py
AgeCommit message (Expand)Author
2015-10-19Use 'display:inline-block' rather than floats for side-by-side.John MacFarlane
2015-07-29makespec.py: Use check_output for simpler pipe_through_progJohn MacFarlane
2015-07-28Another encoding fix in makespec.py.John MacFarlane
2015-07-28Fixed dumb mistake in makespec.py.John MacFarlane
2015-07-28Fixed typo in makespec.py.John MacFarlane
2015-07-28Fixed various problems with spec.pdf generation.John MacFarlane
2015-07-28makespec.py: avoid encoding errors.John MacFarlane
2015-07-22Avoid extra space before section number in spec.md.John MacFarlane
2015-02-14Use --smart option in producing spec.John MacFarlane
2015-01-24Updated makespec.py to use `cmark` in path.John MacFarlane
2015-01-15Fixed template path in tools/makespec.py.John MacFarlane
2015-01-15Re-added tools/{makespec.py, template.html, template.tex}.John MacFarlane