Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

HTML writer: use the ID prefix in the ID for the footnotes section. #9044

Merged
merged 1 commit into from
Sep 1, 2023

Conversation

bdesham
Copy link
Contributor

@bdesham bdesham commented Sep 1, 2023

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.

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.
@bdesham
Copy link
Contributor Author

bdesham commented Sep 1, 2023

This is in the same vein as #8770, but that PR focuses on the case where there are multiple footnotes sections within the same document. This one focuses on the case where there is (probably) only one footnotes section, but the user expressed a desire (through --id-prefix or writerIdentifierPrefix) that all id values use a certain prefix.

@jgm jgm merged commit 9190b19 into jgm:main Sep 1, 2023
9 of 12 checks passed
@jgm
Copy link
Owner

jgm commented Sep 1, 2023

looks good, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants