Auto merge of #14146 - ehuss:remove-dupe-strip, r=Muscraft

Docs: Remove duplicate `strip` section. The `profile.<name>.strip` section was listed twice in the config docs. This removes that unnecessary duplicate.
rust-lang · Jun 25, 2024 · a879a1c · a879a1c
2 parents c3accbb + e6d1db0
commit a879a1c
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/doc/src/reference/config.md b/src/doc/src/reference/config.md
@@ -903,13 +903,6 @@ See [debug](profiles.md#debug).
 
 See [split-debuginfo](profiles.md#split-debuginfo).
 
-#### `profile.<name>.strip`
-* Type: string or boolean
-* Default: See profile docs.
-* Environment: `CARGO_PROFILE_<name>_STRIP`
-
-See [strip](profiles.md#strip).
-
 #### `profile.<name>.debug-assertions`
 * Type: boolean
 * Default: See profile docs.
@@ -960,7 +953,7 @@ See [panic](profiles.md#panic).
 See [rpath](profiles.md#rpath).
 
 #### `profile.<name>.strip`
-* Type: string
+* Type: string or boolean
 * Default: See profile docs.
 * Environment: `CARGO_PROFILE_<name>_STRIP`