diff options
author | Tom Milligan <tommilligan@users.noreply.github.com> | 2023-09-09 09:12:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-09 09:12:27 +0100 |
commit | 491f9cf341ef467d20de87633af0c50eef01ad1d (patch) | |
tree | 8f4b8e629161653010d31bdd985236df99aadabe | |
parent | 041e5a566f28478d510d18f30a72873c6fbd918e (diff) | |
parent | 6deaf1ea2b0b5752f0e412918161ee8b72ba80b2 (diff) |
Merge pull request #122 from tommilligan/fix-docs
docs: fix mdbook-toc build failure
-rwxr-xr-x | book/scripts/install-mdbook-extras | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/scripts/install-mdbook-extras b/book/scripts/install-mdbook-extras index df72e6d..0f32341 100755 --- a/book/scripts/install-mdbook-extras +++ b/book/scripts/install-mdbook-extras @@ -5,5 +5,5 @@ set -exuo pipefail cd "$(dirname "$0")"/../.. if ! mdbook-toc --version; then - cargo install mdbook-toc --version 0.13.0 --force + cargo install mdbook-toc --version 0.14.1 --force fi |