diff options
| author | Benjamin Esham <[email protected]> | 2023-08-31 23:30:25 -0400 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-09-01 11:42:48 -0700 |
| commit | 9190b19fc7cfb1037fc35fa564142122eae985e6 (patch) | |
| tree | 0c81bd0706a5da68aa57d087306cb989544982eb /pandoc-lua-engine/pandoc-lua-engine.cabal | |
| parent | 5fe3396a221b34145c56ccfae39ab947fb407817 (diff) | |
HTML writer: use the ID prefix in the ID for the footnotes section.
In general, the ID prefix makes it possible to combine multiple pieces
of Pandoc-generated HTML with no possibility that IDs will conflict. One
exception to this was that the footnotes were always put into an element
like
<aside id="foonotes" ...>
This commit applies the ID prefix to this ID as well.
Diffstat (limited to 'pandoc-lua-engine/pandoc-lua-engine.cabal')
0 files changed, 0 insertions, 0 deletions