From 2ccf4043ec7f1242ffcddf18016fbe276903de1c Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 23:37:29 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/ui/botui/examples/build.js | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 js/ui/botui/examples/build.js

diff --git a/js/ui/botui/examples/build.js b/js/ui/botui/examples/build.js
new file mode 100644
index 0000000..89652b9
--- /dev/null
+++ b/js/ui/botui/examples/build.js
@@ -0,0 +1,32 @@
+// Run 'node build.js' to list all examples in index.html
+
+const fs = require('fs');
+const path = require('path');
+const unslug = require('unslug');
+
+const base = './';
+
+// credit: https://stackoverflow.com/a/24594123/1227747
+function getDirectories (srcpath) {
+  return fs.readdirSync(srcpath)
+    .filter(file => fs.lstatSync(path.join(srcpath, file)).isDirectory() && file != '.git' && file != 'node_modules')
+}
+
+var exDirs = getDirectories(base);
+var refs = '';
+
+exDirs.forEach(function (dir) {
+  refs += '<a href="' + base + dir + '">' + unslug(dir) + '</a> \n';
+});
+
+fs.readFile(base + 'tmpl-index.html', 'utf8', function (err, content) {
+
+  fs.writeFile(base + 'index.html', content.replace('<EXAMPLES-HERE>', refs), (err) => {
+    if(!err) {
+      console.log('Examples listed in index.html');
+    } else {
+      console.log(err);
+    }
+  })
+
+});