diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2019-09-05 18:58:16 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-09-05 19:04:33 -0500 |
| commit | 6e8f64d25183c05d847ed985664e27068a7aaa5a (patch) | |
| tree | a0c823cc7952cc6187cc46a4569f8aefe2da308d /src/doc/rustc-dev-guide | |
| parent | 0612ebfbf6d4116a2812864dcf9ce5f0f16d1b23 (diff) | |
| download | rust-6e8f64d25183c05d847ed985664e27068a7aaa5a.tar.gz rust-6e8f64d25183c05d847ed985664e27068a7aaa5a.zip | |
hack + drive-by-fix
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/.travis.yml | 2 | ||||
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 4 | ||||
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh | 7 | ||||
| -rw-r--r-- | src/doc/rustc-dev-guide/src/SUMMARY.md | 2 |
4 files changed, 12 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/.travis.yml b/src/doc/rustc-dev-guide/.travis.yml index 8fa2f0c1df1..c33c38b84f2 100644 --- a/src/doc/rustc-dev-guide/.travis.yml +++ b/src/doc/rustc-dev-guide/.travis.yml @@ -4,7 +4,7 @@ rust: cache: - cargo - directories: - - book/linkcheck/ + - $HOME/linkcheck/ before_install: - shopt -s globstar - MAX_LINE_LENGTH=100 bash ci/check_line_lengths.sh src/**/*.md diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index 856ef2eba13..1d207bf22af 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -3,10 +3,14 @@ title = "Guide to Rustc Development" author = "Rustc developers" description = "A guide to developing rustc" +[build] +create-missing = false + [output.html] [output.html.search] [output.linkcheck] +command = "sed 's/.*//'" # tell mdbook not to run, since we want to run it manually follow-web-links = true exclude = [ "crates\\.io", "gcc\\.godbolt\\.org", "youtube\\.com", "dl\\.acm\\.org" ] diff --git a/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh b/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh index e777f349a3c..3ec81f6245f 100755 --- a/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh +++ b/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh @@ -2,7 +2,12 @@ output=$(mktemp) -RUST_LOG=mdbook_linkcheck=debug mdbook build 2>&1 | tee $output +mkdir -p book/ +cp -r $HOME/linkcheck/ book/ +RUST_LOG=mdbook_linkcheck=debug mdbook-linkcheck -s 2>&1 | tee -a $output +cp -r book/linkcheck $HOME/ + +mdbook build result=${PIPESTATUS[0]} diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md index cc2696b1f3e..f672df51010 100644 --- a/src/doc/rustc-dev-guide/src/SUMMARY.md +++ b/src/doc/rustc-dev-guide/src/SUMMARY.md @@ -65,7 +65,7 @@ - [Type checking](./type-checking.md) - [Method Lookup](./method-lookup.md) - [Variance](./variance.md) - - [Existential Types](./existential-types.md) + - [Opaque Types](./opaque-types-type-alias-impl-trait.md) - [The MIR (Mid-level IR)](./mir/index.md) - [MIR construction](./mir/construction.md) - [MIR visitor and traversal](./mir/visitor.md) |