diff options
| author | Benjamin Esham <[email protected]> | 2025-05-26 21:52:30 -0400 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-05-27 08:53:33 -0700 |
| commit | ccc0a5a630df414a580c5c58f1b0ad8133e1a398 (patch) | |
| tree | a471bc50371cb7e6f8f2090a588d18c711011339 /doc | |
| parent | 8d93cd794955578b105e163e8a79df2bc05fc02e (diff) | |
HTML writer: use the ID prefix in the ID for the footnotes section.
In commit 9190b19fc, we began to use the ID prefix for the <aside>
holding the footnotes. In commit 41da8ad9e, we started to use a
<section> for this instead and the ID-prefix functionality was lost.
This commit resumes using the ID prefix in the ID of this element so
that multiple documents can be combined into one without ID conflicts.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions