diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-29 12:20:19 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-29 12:50:58 -0800 |
| commit | 0566fa09cf2369cef3ea6b459f3d4fcf3a27d0fc (patch) | |
| tree | adae2b1e8da52a6edfdb459cba975b257eae2f9a /man/make_man_page.py | |
| parent | 96c7df6a8480b78ddc2540dd85877487af358ceb (diff) | |
Added options parameter to renderers.
To keep the API simple and avoid API changes when new options are
added, this is just a long integer.
Set it by disjoining options that are defined as powers of 2: e.g.
`CMARK_HTML_SOURCEPOS | CMARK_HTML_HARDREAKS`.
Test options using `&`: `if (options & CMARK_HTML_SOURCEPOS)`.
Added `--hardbreaks` and `--sourcepos` command-line options.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions