Install mdbook and mdbook-katex
cargo install mdbook --version 0.4.40
cargo install mdbook-katex --version 0.9.0
cargo install mdbook-linkcheck
Then build and serve
mdbook serve
All diagrams are made with draw.io. The diagram source files are stored in the diagrams
folder.
The diagram sources can be converted to png
with the convert_all.sh
script in the diagrams folder.