x/proc/build-site.sh
12345678910111213141516171819#!/bin/bashset -eHERE="$(realpath "$(dirname "$0")")"cd "$HERE/site/" && ( rustup self update rustup update cargo install mdbook cargo install mdbook-graphviz mdbook build rm -rf ../docs/* rsync -av ./book/ ../docs/)