hack + drive-by-fix

Author: mark-i-m

.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

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" ]

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]}
 

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)