diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2018-09-12 21:55:06 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-09-21 15:54:25 -0500 |
| commit | fcccfa805991e5cffb405efb36545e1292ca2863 (patch) | |
| tree | ad0e42b468403f483abae045e1a109d120a2939c /src/doc/rustc-dev-guide | |
| parent | 04589fcbdcb5e12227399912f02f5e06f887e27d (diff) | |
| download | rust-fcccfa805991e5cffb405efb36545e1292ca2863.tar.gz rust-fcccfa805991e5cffb405efb36545e1292ca2863.zip | |
check web links
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index ecbe513b7cb..8c13fa1aa3c 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -5,6 +5,7 @@ description = "A guide to developing rustc" [output.html] -[output.linkcheck] - [output.html.search] + +[output.linkcheck] +follow-web-links = true |