diff options
| -rw-r--r-- | src/bootstrap/dist.rs | 1 | ||||
| -rw-r--r-- | src/doc/robots.txt | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs index 8d13df3ee21..facf816857f 100644 --- a/src/bootstrap/dist.rs +++ b/src/bootstrap/dist.rs @@ -105,6 +105,7 @@ impl Step for Docs { t!(fs::create_dir_all(&dst)); let src = builder.doc_out(host); builder.cp_r(&src, &dst); + builder.install(&builder.src.join("src/doc/robots.txt"), &dst, 0o644); let mut cmd = rust_installer(builder); cmd.arg("generate") diff --git a/src/doc/robots.txt b/src/doc/robots.txt index 61ee12739fb..d119cc46473 100644 --- a/src/doc/robots.txt +++ b/src/doc/robots.txt @@ -1,4 +1,3 @@ -# NB: This file is not automatically deployed. After changes, it needs to be uploaded manually to doc.rust-lang.org User-agent: * Disallow: /0.3/ Disallow: /0.4/ |