Idris/ssg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Don't generate trailing slash for void tags

Browse source
This commit is contained in:
Nathan McCarty 2025-02-21 05:43:34 -05:00
parent c11bf35cc8
commit 67a07a0523
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/SSG/HTML.idr
View file

@ -63,8 +63,8 @@ namespace Html
if length attributes > 0 if length attributes > 0
then then
let attrs = joinBy " " $ map toString attributes let attrs = joinBy " " $ map toString attributes
in "\{indent}<\{type} \{attrs} />" in "\{indent}<\{type} \{attrs}>"
else "\{indent}<\{type} />" else "\{indent}<\{type}>"
viewIndented indent_level (Normal type attributes {content_types} contents) = viewIndented indent_level (Normal type attributes {content_types} contents) =
let indent = replicate (indent_level * 2) ' ' in let indent = replicate (indent_level * 2) ' ' in
-- Special handling if the tag contains exactly one `Text` element, we won't -- Special handling if the tag contains exactly one `Text` element, we won't