diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-02-03 18:58:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-03 18:58:23 +0100 |
| commit | 95df2bcaeb0af12ef0b4b4b547d1eef445af7c68 (patch) | |
| tree | e8bb504ce76ee51942c661f4e1d46f41c913d642 /src | |
| parent | bdd946df3a7af6be0c075d5ab15f9845b3679364 (diff) | |
| parent | 39e502744c7db993eb0269285082ac5c7b7d4bdd (diff) | |
| download | rust-95df2bcaeb0af12ef0b4b4b547d1eef445af7c68.tar.gz rust-95df2bcaeb0af12ef0b4b4b547d1eef445af7c68.zip | |
Rollup merge of #68678 - Mark-Simulacrum:robots, r=pietroalbini
Install robots.txt into rust-docs tarballs Fixes #68677. I believe this might just work out from the central-station perspective, but even if it doesn't, this is a prerequisite step anyway.
Diffstat (limited to 'src')
| -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/ |