partial revert of b9eedea4b0368fd1f00f204db75109ff444fab5b upstream

diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs
index b1fae356d89..10ed8ffb714 100644
--- a/src/bootstrap/dist.rs
+++ b/src/bootstrap/dist.rs
@@ -79,6 +79,7 @@ impl Step for Docs {
         tarball.set_product_name("Rust Documentation");
         tarball.add_bulk_dir(&builder.doc_out(host), dest);
         tarball.add_file(&builder.src.join("src/doc/robots.txt"), dest, 0o644);
+        tarball.permit_symlinks(true);
         Some(tarball.generate())
     }
 }