Update mdbook

This commit is contained in:
Eric Huss 2021-01-04 07:28:26 -08:00
parent 660ec3f50b
commit 352f828903
2 changed files with 2 additions and 2 deletions

View File

@ -14,7 +14,7 @@ jobs:
- name: Install mdbook - name: Install mdbook
run: | run: |
mkdir mdbook mkdir mdbook
curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.3/mdbook-v0.4.3-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.5/mdbook-v0.4.5-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
echo `pwd`/mdbook >> $GITHUB_PATH echo `pwd`/mdbook >> $GITHUB_PATH
- name: Deploy docs - name: Deploy docs
run: | run: |

View File

@ -103,7 +103,7 @@ jobs:
- run: cd src/doc/semver-check && cargo +stable run - run: cd src/doc/semver-check && cargo +stable run
- run: | - run: |
mkdir mdbook mkdir mdbook
curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.3.7/mdbook-v0.3.7-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.5/mdbook-v0.4.5-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
echo `pwd`/mdbook >> $GITHUB_PATH echo `pwd`/mdbook >> $GITHUB_PATH
- run: cargo doc --no-deps - run: cargo doc --no-deps
- run: cd src/doc && mdbook build --dest-dir ../../target/doc - run: cd src/doc && mdbook build --dest-dir ../../target/doc