docs added and reskinning

2026-02-19 00:45:05 -05:00
parent 7e93b14012
commit d791b80ef8
23 changed files with 679 additions and 27 deletions
--- a/docs/provision.bash
+++ b/docs/provision.bash
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+set -e
+
+set -x
+
+##
+
+apt update
+
+##
+
+apt install pip -y
+
+##
+
+pip install mkdocs-material
+
+##
+
+pip install mkdocs-with-pdf --break-system-packages
+
+pip install mkdocs-to-pdf