diff --git a/src/doc/src/reference/config.md b/src/doc/src/reference/config.md index 6a479b81bcde..28c80395494c 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..build-override] # Overrides build-script settings. # Same keys for a normal profile. [profile..package.] # Override profile for a package. @@ -889,6 +889,13 @@ See [debug](profiles.md#debug). See [split-debuginfo](profiles.md#split-debuginfo). +#### `profile..strip` +* Type: string or boolean +* Default: See profile docs. +* Environment: `CARGO_PROFILE__STRIP` + +See [strip](profiles.md#strip). + #### `profile..debug-assertions` * Type: boolean * Default: See profile docs.