From 53eb2c4828d09fa00dce327f0b69e252287d82ca Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 15 Jan 2011 22:35:25 -0800 Subject: HTML writer: Add ids to
tags. --- src/Text/Pandoc/Writers/HTML.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/Text/Pandoc') diff --git a/src/Text/Pandoc/Writers/HTML.hs b/src/Text/Pandoc/Writers/HTML.hs index 901575434..93f96b2f9 100644 --- a/src/Text/Pandoc/Writers/HTML.hs +++ b/src/Text/Pandoc/Writers/HTML.hs @@ -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 -- cgit v1.2.3