From 8742baf156bf96b18b009d57f3c918c8f5bb385d Mon Sep 17 00:00:00 2001 From: Mark Rousskov Date: Mon, 7 Feb 2022 12:04:00 -0500 Subject: [PATCH] Drop rustc-docs from complete profile --- src/tools/build-manifest/src/main.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs index 6b56d6bc4adf0..8a62146abfc4e 100644 --- a/src/tools/build-manifest/src/main.rs +++ b/src/tools/build-manifest/src/main.rs @@ -386,7 +386,10 @@ impl Builder { // for users to install the additional component manually, if needed. if self.versions.channel() == "nightly" { self.extend_profile("complete", &mut manifest.profiles, &["rustc-dev"]); - self.extend_profile("complete", &mut manifest.profiles, &["rustc-docs"]); + // Do not include the rustc-docs component for now, as it causes + // conflicts with the rust-docs component when installed. See + // #75833. + // self.extend_profile("complete", &mut manifest.profiles, &["rustc-docs"]); } }