diff options
author | Jesse Rosenthal <jrosenthal@jhu.edu> | 2016-10-11 14:57:24 -0400 |
---|---|---|
committer | Jesse Rosenthal <jrosenthal@jhu.edu> | 2016-10-11 15:17:01 -0400 |
commit | ca50deeeeee3bf0900cb91d39671d8dc5aaceb1b (patch) | |
tree | af4fc3be6576d196f12f83619a0aee752d842670 /benchmark/benchmark-pandoc.hs | |
parent | 6914808139262061539736df2dc835e42f6a0ba4 (diff) | |
download | pandoc-ca50deeeeee3bf0900cb91d39671d8dc5aaceb1b.tar.gz |
Markdown writer: Allow footnotes/refs at the end of blocks, sections
This allows footnotes and refs to be placed at the end of blocks and
sections. Note that we only place them at the end of blocks that are at
the top level and before headers that are the top level. We add an
environment variable to keep track of this. Because we clear the
footnotes and refs when we use them, we also add a state variable to
keep track of the starting number.
Finally, note that we still add any remaining footnotes at the end. This
takes care of the final section, if we are placing at the end of a
section, and will always come after a final block as well.
Diffstat (limited to 'benchmark/benchmark-pandoc.hs')
0 files changed, 0 insertions, 0 deletions