diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-01-30 15:24:56 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2020-01-31 08:56:01 -0500 |
| commit | 39e502744c7db993eb0269285082ac5c7b7d4bdd (patch) | |
| tree | 23f9a28511ca6b4443388b14d349f449e7c76071 | |
| parent | edb368491551a77d77a48446d4ee88b35490c565 (diff) | |
| download | rust-39e502744c7db993eb0269285082ac5c7b7d4bdd.tar.gz rust-39e502744c7db993eb0269285082ac5c7b7d4bdd.zip | |
Install robots.txt into rust-docs tarballs
| -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/ |