Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-01-04 | Strip {-} off unnumbered sections in HTML version of spec. | John MacFarlane | |
2015-01-04 | Moved spec.html error checks into makespec.py. | John MacFarlane | |
2015-01-04 | Removed second parameter of makespec.py. | John MacFarlane | |
2015-01-04 | Use 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-04 | makespec.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-04 | Improved spec.pdf production. | John MacFarlane | |
Boldface definitions. | |||
2015-01-04 | spec2md.py -> makespec.py. | John MacFarlane | |
Moved HTML generation out of Makefile. |