New build script (old deps were wonky)

This commit is contained in:
2024-11-22 14:31:15 +09:00
parent 1cff73c0e5
commit 543a304a43
5 changed files with 54 additions and 87 deletions
+16
View File
@@ -0,0 +1,16 @@
#! /usr/bin/bash
if mkdocs=$(command -v mkdocs)
then
echo "mkdocs found at $mkdocs"
else
echo "Could not find a mkdocs installation!"
echo "mkdocs must be installed and available in \$PATH to proceed."
exit 95
fi
rm docs/*.md
cp ../docs/*.md docs/
cp ../CHANGELOG.md docs/
mkdocs build