diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:06:35 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:06:35 -0800 |
| commit | 04fcb7a24ea4ac179f5033c00f7cb23b8ebb9e35 (patch) | |
| tree | 209b721e4d0a06e90f5dfcc0e0a57ac9d9041d1e /man/make_man_page.py | |
| parent | a97d9f95383302f06450fff914c0f253fe06fb79 (diff) | |
Use cmark itself to build spec.html.
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.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions