# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1588949060 -7200
# Node ID 25f5935735791b067be0e701d6005a1dcab49936
# Parent  76ebf973c47e45a18695efc01678345dbaac53c9
SVGHMI: Systematically output local name as /* comment */ when emiting content.

diff -r 76ebf973c47e -r 25f593573579 svghmi/gen_index_xhtml.ysl2
--- a/svghmi/gen_index_xhtml.ysl2	Fri Apr 24 10:03:40 2020 +0200
+++ b/svghmi/gen_index_xhtml.ysl2	Fri May 08 16:44:20 2020 +0200
@@ -7,7 +7,11 @@
 decl emit(*name) alias - {
     *name;
     template *name {
+        |
+        | /* «local-name()» */
+        |
         content;
+        |
     }
 };
 
@@ -56,12 +60,7 @@
         comment > Made with SVGHMI. https://beremiz.org
 
         // all debug output from included definitions, as comments
-        foreach "document('')/*/debug:*" {
-            comment {
-                | «local-name()» :
-                apply ".";
-            }
-        }
+        comment apply "document('')/*/debug:*";
 
         html xmlns="http://www.w3.org/1999/xhtml"
              xmlns:svg="http://www.w3.org/2000/svg"