diff options
| author | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-07-16 03:44:51 +0100 |
|---|---|---|
| committer | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-07-16 03:50:38 +0100 |
| commit | 4b2d07a642c9ab570a8da64deca32a4139b2268b (patch) | |
| tree | 3af27c1078735c57fa399e5bbe96c9415f025a06 /pandoc.cabal | |
| parent | a4671afd64b4195be67f7dccd2ca947144608a7f (diff) | |
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 'pandoc.cabal')
0 files changed, 0 insertions, 0 deletions