From c4126a0796609624fd8147c337f99d3c28e30522 Mon Sep 17 00:00:00 2001
From: trapexit <trapexit@spawn.link>
Date: Sun, 21 Sep 2025 14:04:55 -0400
Subject: [PATCH] Add script to generate docs from scratch and push to github
 (#1530)

---
 mkdocs/regenerate-docs | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 mkdocs/regenerate-docs

diff --git a/mkdocs/regenerate-docs b/mkdocs/regenerate-docs
new file mode 100755
index 00000000..09370a72
--- /dev/null
+++ b/mkdocs/regenerate-docs
@@ -0,0 +1,25 @@
+#!/bin/sh
+set -x
+
+current_branch="$(git branch --show-current)"
+
+mike delete --all --push --allow-empty --ignore-remote-status
+
+git checkout "master"
+mike deploy --push "preview" "master"
+
+for tag in $(git tag -l | sort --version-sort --reverse)
+do
+    if git ls-tree -r --name-only "${tag}" | grep -q 'mkdocs.yml'; then
+        git checkout "${tag}"
+        mike deploy --push "${tag}"
+    fi
+done
+
+latest="$(git tag -l | sort --version-sort --reverse | head -n 1)"
+git checkout "${latest}"
+mike alias --push "${latest}" "latest"
+
+mike set-default --push "preview"
+
+git checkout "${current_branch}"