From fc9980e5e19602748b8cc596cdd07c02ac2889f1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 23 Mar 2024 13:51:57 +0100
Subject: Added very scientific std stats

---
 docs/genstd.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'docs/genstd.sh')

diff --git a/docs/genstd.sh b/docs/genstd.sh
index df585ea..e290063 100755
--- a/docs/genstd.sh
+++ b/docs/genstd.sh
@@ -7,6 +7,8 @@ rm -rf std/ && mkdir -p std/
 files=$(find ../std/ -type f -name "*.bruijn" -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
 links=""
 
+tot_ntests=0
+tot_ndefs=0
 prefix="seeelefant"
 for file in $files; do
 	name=$(cut -c8- <<<"$file")
@@ -16,11 +18,16 @@ for file in $files; do
 		links="$links\n</ol><h2>std/$prefix</h2><ol>"
 	fi
 	filename=$(sed s@/@_@g <<<"$name")
-	links="$links\n<li><span class='com'>:import</span> <a href="$filename.html">$name</a></li>"
+	ndefs=$(grep -cP "^[^:# \t]" "$file" || true)
+	ntests=$(grep -cP "^:test" "$file" || true)
+	links="$links\n<li><span class='com'>:import</span> <a href=$filename.html>$(basename "$name" .bruijn)</a> <span class='stats'>($ndefs definitions, $ntests tests)</span></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 >"std/$filename.html"
 	sed -i -e "s@NAME@$name@g" "std/$filename.html"
+
+	tot_ndefs=$((tot_ndefs + ndefs))
+	tot_ntests=$((tot_ntests + ntests))
 done
 
-sed -e "s@LINKS@$links@g" std.template >std/index.html
+sed -e "s@STATS@Total: $tot_ndefs definitions, $tot_ntests tests@g" -e "s@LINKS@$links@g" std.template >std/index.html
 
 cp res/* code.js content.css index.css code.css std/
-- 
cgit v1.2.3