From 9d722a0b6138827de743f9fe4acbf3f2c1830bb0 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Nov 2023 00:24:11 +0100
Subject: Started creating new docs with wiki

---
 docs/gen.sh | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'docs/gen.sh')

diff --git a/docs/gen.sh b/docs/gen.sh
index 5d295e7..f79ce6b 100755
--- a/docs/gen.sh
+++ b/docs/gen.sh
@@ -18,3 +18,8 @@ done
 sed -e "s@LINKS@$links@g" index.template >std/index.html
 
 cp res/* content.js content.css index.css std/
+
+echo "std done"
+
+mkdocs build
+echo "wiki done"
-- 
cgit v1.2.3