HTML writer: Add ids to <section> tags.
commit53eb2c4828d09fa00dce327f0b69e252287d82ca
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 15 Jan 2011, 22:35 (16 years ago)
parent19234ef
src/Text/Pandoc/Writers/HTML.hs+2−1
@@ -233,7 +233,8 @@ elementToHtml opts (Sec level num id' title' elements) = do
233233 then toHtmlFromList stuff
234234 else if writerSectionDivs opts
235235 then if writerHtml5 opts
236− then tag "section" << stuff
236+ then tag "section" ! [prefixedId opts id']
237+ << stuff
237238 else thediv ! [prefixedId opts id'] << stuff
238239 else toHtmlFromList stuff
239240