diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-11-11 12:55:33 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-11-11 12:55:33 -0800 |
commit | 7b35d4bdc5e514ded03c0f0012983fe315a3aaf4 (patch) | |
tree | 8a5e6b25cac90d264ba492470ec70f31bc6ea7a5 /man/make_man_page.py | |
parent | cb1cd888cce0cae20a33663d6d17ef7630c5d4d7 (diff) |
Cleaner approach to max digits for numeric entities.
This modifies unescaping in houdini_html_u.c rather than
the entity handling in inlines.c. Unlike the other,
this approach works also in e.g. link titles.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions