diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-08-08 11:20:15 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-08-08 11:20:15 -0700 |
commit | 2eec8cf61bc317b77669d9f8256f707ba0e5d69f (patch) | |
tree | c7395b923b99dcf2141715ee147096348caad0d0 /src/Text/Pandoc/CSS.hs | |
parent | eaccef14918da98dc9837339070bda78cab64f1c (diff) | |
download | pandoc-2eec8cf61bc317b77669d9f8256f707ba0e5d69f.tar.gz |
HTML reader: add auto identifiers if not present on headers.
This makes TOC linking work properly.
The same thing needs to be done to the org reader to fix #2354;
in addition, `Ext_auto_identifiers` should be added to the list
of default extensions for org in Text.Pandoc.
Diffstat (limited to 'src/Text/Pandoc/CSS.hs')
0 files changed, 0 insertions, 0 deletions