--- a/svghmi/gen_index_xhtml.ysl2 Fri Sep 27 06:54:35 2019 +0200
+++ b/svghmi/gen_index_xhtml.ysl2 Mon Sep 30 13:26:11 2019 +0200
@@ -50,6 +50,8 @@
apply "@* | node()";
}
script{
+ /* TODO : paste hmitree hash stored in hmi tree root node */
+
||
function evaluate_js_from_descriptions() {
var Page;