From 78f697f3763891f78c5089e7e390e59e95c170ad Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <n.nethercote@gmail.com>
Date: Sat, 30 Sep 2023 16:49:19 +1000
Subject: [PATCH] Add more missing `strip` info to docs.

Also change some `strip = false` mentions to `strip = "false"`.

This is a follow-up to #12748.
---
 src/doc/src/reference/config.md   | 9 ++++++++-
 src/doc/src/reference/profiles.md | 4 ++--
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/src/doc/src/reference/config.md b/src/doc/src/reference/config.md
index 6a479b81bcd..28c80395494 100644
--- a/src/doc/src/reference/config.md
+++ b/src/doc/src/reference/config.md
@@ -126,6 +126,7 @@ inherits = "dev"         # Inherits settings from [profile.dev].
 opt-level = 0            # Optimization level.
 debug = true             # Include debug info.
 split-debuginfo = '...'  # Debug info splitting behavior.
+strip = "none"           # Removes symbols or debuginfo.
 debug-assertions = true  # Enables debug assertions.
 overflow-checks = true   # Enables runtime integer overflow checks.
 lto = false              # Sets link-time optimization.
@@ -133,7 +134,6 @@ panic = 'unwind'         # The panic strategy.
 incremental = true       # Incremental compilation.
 codegen-units = 16       # Number of code generation units.
 rpath = false            # Sets the rpath linking option.
-strip = "none"           # Removes symbols or debuginfo.
 [profile.<name>.build-override]  # Overrides build-script settings.
 # Same keys for a normal profile.
 [profile.<name>.package.<name>]  # Override profile for a package.
@@ -889,6 +889,13 @@ 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.
diff --git a/src/doc/src/reference/profiles.md b/src/doc/src/reference/profiles.md
index 15ca8953cbc..165b41d604e 100644
--- a/src/doc/src/reference/profiles.md
+++ b/src/doc/src/reference/profiles.md
@@ -270,7 +270,7 @@ The default settings for the `dev` profile are:
 opt-level = 0
 debug = true
 split-debuginfo = '...'  # Platform-specific.
-strip = false
+strip = "none"
 debug-assertions = true
 overflow-checks = true
 lto = false
@@ -293,7 +293,7 @@ The default settings for the `release` profile are:
 opt-level = 3
 debug = false
 split-debuginfo = '...'  # Platform-specific.
-strip = false
+strip = "none"
 debug-assertions = false
 overflow-checks = false
 lto = false