summaryrefslogtreecommitdiff
path: root/tools/makespec.py
AgeCommit message (Collapse)Author
2015-01-24Removed spec-specific files (DTD, spec generation tools).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
These were inadvertently dropped in the commit that described them as being moved to tools/.