From 67a07a0523a4e55553bf15a149aef89e3b49e812 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 21 Feb 2025 05:43:34 -0500
Subject: [PATCH] Don't generate trailing slash for void tags

---
 src/SSG/HTML.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/SSG/HTML.idr b/src/SSG/HTML.idr
index ebfde18..7e9a481 100644
--- a/src/SSG/HTML.idr
+++ b/src/SSG/HTML.idr
@@ -63,8 +63,8 @@ namespace Html
     if length attributes > 0
       then
         let attrs = joinBy " " $ map toString attributes
-        in "\{indent}<\{type} \{attrs} />"
-      else "\{indent}<\{type} />"
+        in "\{indent}<\{type} \{attrs}>"
+      else "\{indent}<\{type}>"
   viewIndented indent_level (Normal type attributes {content_types} contents) =
     let indent = replicate (indent_level * 2) ' ' in
     -- Special handling if the tag contains exactly one `Text` element, we won't