diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-05-14 10:37:46 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-05-14 10:37:46 -0700 |
commit | 2b89aaf04dd2d1bdafa0ee507abefd4f0d6df271 (patch) | |
tree | 855653c0624a174a0ebb97670841b64abe81165c /src/Text/Pandoc/Pretty.hs | |
parent | 933aa3ee8493f53f5ef1dfa7565530313dd75b98 (diff) | |
download | pandoc-2b89aaf04dd2d1bdafa0ee507abefd4f0d6df271.tar.gz |
Make internal links work in ODT/OpenDocument.
This adds proper bookmarks to the headers with non-null IDs.
Closes #4358.
Diffstat (limited to 'src/Text/Pandoc/Pretty.hs')
0 files changed, 0 insertions, 0 deletions