aboutsummaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Readers/Org.hs
diff options
context:
space:
mode:
authorJesse Rosenthal <jrosenthal@jhu.edu>2014-07-16 03:44:51 +0100
committerJesse Rosenthal <jrosenthal@jhu.edu>2014-07-16 03:50:38 +0100
commit4b2d07a642c9ab570a8da64deca32a4139b2268b (patch)
tree3af27c1078735c57fa399e5bbe96c9415f025a06 /src/Text/Pandoc/Readers/Org.hs
parenta4671afd64b4195be67f7dccd2ca947144608a7f (diff)
downloadpandoc-4b2d07a642c9ab570a8da64deca32a4139b2268b.tar.gz
Docx Reader: Fix hdr auto-id when already auto-id.
If header anchors (bookmarks in a header paragraph) already have an auto-id, which will happen if they're generated by pandoc, we don't want to rename it twice, and thus end up with an unnecessary number at the end. So we add a state value to check if we're in a header. If we are, we don't rename the bookmark -- wait until we rename it in our header handling.
Diffstat (limited to 'src/Text/Pandoc/Readers/Org.hs')
0 files changed, 0 insertions, 0 deletions