mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-26 17:35:49 +00:00
HTML writer: Add ids to <section> tags.
This commit is contained in:
@@ -233,7 +233,8 @@ elementToHtml opts (Sec level num id' title' elements) = do
|
||||
then toHtmlFromList stuff
|
||||
else if writerSectionDivs opts
|
||||
then if writerHtml5 opts
|
||||
then tag "section" << stuff
|
||||
then tag "section" ! [prefixedId opts id']
|
||||
<< stuff
|
||||
else thediv ! [prefixedId opts id'] << stuff
|
||||
else toHtmlFromList stuff
|
||||
|
||||
|
||||
Reference in New Issue
Block a user