From b6d19796835d5050353e75cbecc73c176a172633 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sun, 9 Jul 2023 15:53:33 -0700
Subject: [PATCH] Add profile strip to config docs.

---
 src/doc/src/reference/config.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/doc/src/reference/config.md b/src/doc/src/reference/config.md
index 30053bb18a2..ae80deff14f 100644
--- a/src/doc/src/reference/config.md
+++ b/src/doc/src/reference/config.md
@@ -132,6 +132,7 @@ 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.
@@ -908,6 +909,13 @@ See [panic](profiles.md#panic).
 
 See [rpath](profiles.md#rpath).
 
+##### `profile.<name>.strip`
+* Type: string
+* default: See profile docs.
+* Environment: `CARGO_PROFILE_<name>_STRIP`
+
+See [strip](profiles.md#strip).
+
 
 #### `[registries]`