Docs: Remove duplicate strip section.

rust-lang · Jun 25, 2024 · e6d1db0 · e6d1db0
1 parent 1a981f6
commit e6d1db0
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`