From aa0783476818d3ce2473f5b90fc371bd30465890 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adri=C3=A1n=20Arroyo=20Calle?=
 <adrian.arroyocalle@gmail.com>
Date: Sat, 28 Jan 2023 14:59:59 +0100
Subject: [PATCH] Add Attrs to section

---
 djota.pl | 2 +-
 test.lgt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/djota.pl b/djota.pl
index ae0b3a3..af73fa5 100644
--- a/djota.pl
+++ b/djota.pl
@@ -357,7 +357,7 @@
 ast_html_node_(section(N, Header, Child, Attrs)) -->
     { phrase(ast_html_(Child), ChildHtml) },
     { attrs_html(Attrs, AttrsHtml) },
-    format_("<section><h~d~s>~s</h~d>~s</section>", [N, AttrsHtml, Header, N, ChildHtml]).
+    format_("<section~s><h~d>~s</h~d>~s</section>", [AttrsHtml, N, Header, N, ChildHtml]).
 ast_html_node_(blockquote(Child, Attrs)) -->
     { phrase(ast_html_(Child), ChildHtml) },
     { attrs_html(Attrs, AttrsHtml) },    
diff --git a/test.lgt b/test.lgt
index c00434d..dcddc92 100644
--- a/test.lgt
+++ b/test.lgt
@@ -115,6 +115,6 @@ test(table) :-
     djota:djot("| ```~`Ct``` | 1 |", "<table><tr><td> <code>~`Ct</code> </td><td> 1 </td></tr></table>").
 
 test(block_attributes) :-
-    djota:djot("{#water}\n# Coffee\n\nCoffee is perfect", "<section><h1 id=\"water\">Coffee</h1><p>Coffee is perfect</p></section>").
+    djota:djot("{#water}\n# Coffee\n\nCoffee is perfect", "<section id=\"water\"><h1>Coffee</h1><p>Coffee is perfect</p></section>").
 
 :- end_object.
\ No newline at end of file