diff options
| author | mark <markm@cs.wisc.edu> | 2020-12-02 22:37:22 -0600 |
|---|---|---|
| committer | Joshua Nelson <joshua@yottadb.com> | 2020-12-03 00:06:19 -0500 |
| commit | 5da3f6499216b9f7d4994869d84db1cf095b7695 (patch) | |
| tree | 8f93a5d9976576eb796f6a2f87d7c6bbc96bc398 /src/doc/rustc-dev-guide | |
| parent | 9d576c9ef1eb829939b7cbf91bae95b45a2f765c (diff) | |
| download | rust-5da3f6499216b9f7d4994869d84db1cf095b7695.tar.gz rust-5da3f6499216b9f7d4994869d84db1cf095b7695.zip | |
exclude play.rlo from linkchecks
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index af909446a65..af9cd167fdc 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -16,6 +16,6 @@ level = 0 [output.linkcheck] command = "../../ci/linkcheck.sh" follow-web-links = true -exclude = [ "crates\\.io", "gcc\\.godbolt\\.org", "youtube\\.com", "youtu\\.be", "dl\\.acm\\.org", "cs\\.bgu\\.ac\\.il", "www\\.amazon\\.com", "www\\.rustaceans\\.org" ] +exclude = [ "crates\\.io", "gcc\\.godbolt\\.org", "youtube\\.com", "youtu\\.be", "dl\\.acm\\.org", "cs\\.bgu\\.ac\\.il", "www\\.amazon\\.com", "www\\.rustaceans\\.org", "play\\.rust-lang\\.org" ] cache-timeout = 86400 warning-policy = "error" |