update mdbook version to latest
v0.4.7 didn't have the feature to allow this See https://github.com/rust-lang/rustc-dev-guide/pull/1180#issuecomment-899128718
This commit is contained in:
parent
451084b3bd
commit
5d77984e03
1 changed files with 1 additions and 1 deletions
|
|
@ -14,7 +14,7 @@ jobs:
|
|||
if: github.repository == 'rust-lang/rustc-dev-guide'
|
||||
runs-on: ubuntu-latest
|
||||
env:
|
||||
MDBOOK_VERSION: 0.4.7
|
||||
MDBOOK_VERSION: 0.4.12
|
||||
MDBOOK_LINKCHECK_VERSION: 0.7.2
|
||||
MDBOOK_TOC_VERSION: 0.6.1
|
||||
DEPLOY_DIR: book/html
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue