hack + drive-by-fix

rust-lang · Sep 6, 2019 · 941968d · 941968d
1 parent 1952189
commit 941968d
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 3 deletions.
diff --git a/.travis.yml b/.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/book.toml b/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/ci/build-ignore-timeouts.sh b/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/SUMMARY.md b/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)