doc: Mention profile in rust-toolchain docs

Signed-off-by: Daniel Silverstone <[email protected]>
rust-lang · Nov 29, 2020 · 741eb51 · 741eb51
1 parent 0ad29a0
commit 741eb51
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/src/overrides.md b/doc/src/overrides.md
@@ -82,6 +82,7 @@ called `rust-toolchain`, the content of which is either the name of a single
 channel = "nightly-2020-07-10"
 components = [ "rustfmt", "rustc-dev" ]
 targets = [ "wasm32-unknown-unknown", "thumbv2-none-eabi" ]
+profile = "minimal"
 ```
 
 If the TOML format is used, the `[toolchain]` section is mandatory, and at