diff --git a/doc/build.sh b/doc/build.sh new file mode 100644 index 00000000..6097c1cf --- /dev/null +++ b/doc/build.sh @@ -0,0 +1,19 @@ +#!/bin/sh +set -e + +curl -fSL -o mdbook.tar.gz https://github.com/rust-lang/mdBook/releases/download/v0.4.33/mdbook-v0.4.33-x86_64-unknown-linux-musl.tar.gz +tar -xzf mdbook.tar.gz + +curl -fSL -o mdbook-katex.tar.gz https://github.com/lzanini/mdbook-katex/releases/download/v0.8.0/mdbook-katex-v0.8.0-x86_64-unknown-linux-musl.tar.gz +tar -xzf mdbook-katex.tar.gz + +curl -fSL -o mdbook-mermaid.tar.gz https://github.com/badboy/mdbook-mermaid/releases/download/v0.14.0/mdbook-mermaid-v0.14.0-x86_64-unknown-linux-musl.tar.gz +tar -xzf mdbook-mermaid.tar.gz + +chmod +x mdbook mdbook-katex mdbook-mermaid + +export PATH=$(pwd):$PATH + +export MDBOOK_PLUGIN_DIR=$(pwd) + +./mdbook build \ No newline at end of file diff --git a/doc/theme/favicon.png b/doc/theme/favicon.png new file mode 100644 index 00000000..7277591e Binary files /dev/null and b/doc/theme/favicon.png differ