mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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:
Tshepang Lekhonkhobe 2021-08-16 03:33:24 +02:00 committed by Joshua Nelson
parent 40dfee8bcd
commit dfdff33685
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -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