doc: update github workflow

This commit is contained in:
x
2022-10-18 01:27:58 +00:00
parent 506cefd0f3
commit 2a178672da
2 changed files with 2 additions and 1 deletions

View File

@@ -34,6 +34,7 @@ jobs:
cargo install mdbook
export PATH="$HOME/.cargo/bin:$PATH"
cargo install --git "https://github.com/lzanini/mdbook-katex"
cargo install --git "https://github.com/badboy/mdbook-toc"
sudo apt -y install make
- name: Compile and publish the book