diff options
| author | bors <bors@rust-lang.org> | 2020-06-27 20:14:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-06-27 20:14:34 +0000 |
| commit | 9bdd2db3a60176012f4dc240eea02d615cc60061 (patch) | |
| tree | b2eadafef441ddb5e9771d31ea3d18715251d0e7 /src/ci | |
| parent | 394e1b40d264aa6928811919c1124fa248e7d802 (diff) | |
| parent | 6bcbc426c9abd97ad5379215545349e71592f90b (diff) | |
Auto merge of #73671 - ehuss:update-mdbook, r=Mark-Simulacrum
Update mdbook This updates mdbook to 0.4. The list of changes can be found at https://github.com/rust-lang/mdBook/blob/master/CHANGELOG.md#mdbook-040. I think the most important one is the change to include fonts with the book instead of using the Google Fonts CDN. This adds a few megabytes of fonts to the docs component. It may be possible to share the fonts across the books, but would take a fair bit of work to make that happen, so I'm not sure if it is necessary. This also removes mdbook-linkcheck. It is currently not being used, and I don't foresee it going back into use anytime soon. I would prefer not to maintain something that isn't being used, and it removes a very large number of dependencies.
Diffstat (limited to 'src/ci')
| -rw-r--r-- | src/ci/docker/x86_64-gnu-tools/Dockerfile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/Dockerfile b/src/ci/docker/x86_64-gnu-tools/Dockerfile index 148e09f6ad1..3b6e4c2cb98 100644 --- a/src/ci/docker/x86_64-gnu-tools/Dockerfile +++ b/src/ci/docker/x86_64-gnu-tools/Dockerfile @@ -19,9 +19,6 @@ RUN sh /scripts/sccache.sh COPY x86_64-gnu-tools/checktools.sh /tmp/ -# Run rustbook with `linkcheck` feature enabled -ENV CHECK_LINKS 1 - ENV RUST_CONFIGURE_ARGS \ --build=x86_64-unknown-linux-gnu \ --save-toolstates=/tmp/toolstate/toolstates.json |