diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-06-02 16:33:02 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-06-02 16:33:30 +0200 |
commit | 6ec3b485c406bb05ca5e13fe61d84df6b27f1945 (patch) | |
tree | 7fe4d4c5ff47f483bd1ccb37ea99212c414c736d /man/make_man_page.py | |
parent | 14ea489f5dd6e3d07e23f104d6c9ce441d05751b (diff) |
Properly handle backslashes in link destinations.
Only ascii punctuation characters are escapable,
per the spec.
Closes #192.
Diffstat (limited to 'man/make_man_page.py')
0 files changed, 0 insertions, 0 deletions