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 /src/bootstrap | |
| parent | edb368491551a77d77a48446d4ee88b35490c565 (diff) | |
Install robots.txt into rust-docs tarballs
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/dist.rs | 1 |
1 files changed, 1 insertions, 0 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") |