From 6ff75104e28d00535392ebeaf66e2e50c57d0d64 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 10 Mar 2024 16:27:07 +0100
Subject: Added sample page to website

---
 docs/gensamples.sh | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 docs/gensamples.sh

(limited to 'docs/gensamples.sh')

diff --git a/docs/gensamples.sh b/docs/gensamples.sh
new file mode 100755
index 0000000..704aea5
--- /dev/null
+++ b/docs/gensamples.sh
@@ -0,0 +1,26 @@
+#!/bin/env bash
+
+set -e
+
+rm -rf samples/ && mkdir -p samples/
+
+files=$(find ../samples/ -type f -name "*.bruijn" -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
+links=""
+
+prefix=""
+for file in $files; do
+	name=$(echo "$file" | cut -c12-)
+	_prefix=$(cut -d/ -f1 <<<"$name")
+	if ! [ "$prefix" = "$_prefix" ]; then
+		prefix=$_prefix
+		links="$links\n</ul><h2>$prefix</h2><ul>"
+	fi
+	filename=$(sed s@/@_@g <<<"$name")
+	links="$links\n<li><a href="$filename.html">$name</a></li>"
+	awk 'NR==FNR { gsub("<", "\\&lt;", $0); gsub(">", "\\&gt;", $0); a[n++]=$0; next } /CONTENT/ { for (i=0;i<n;++i) print a[i]; next } 1' "$file" content.template >"samples/$filename.html"
+	sed -i -e "s@NAME@$name@g" "samples/$filename.html"
+done
+
+sed -e "s@LINKS@$links@g" samples.template >samples/index.html
+
+cp res/* code.js content.css index.css code.css samples/
-- 
cgit v1.2.3