diff --git a/src/doc/src/reference/profiles.md b/src/doc/src/reference/profiles.md index fac84f8363e..7c09cb155ff 100644 --- a/src/doc/src/reference/profiles.md +++ b/src/doc/src/reference/profiles.md @@ -293,7 +293,7 @@ The default settings for the `release` profile are: opt-level = 3 debug = false split-debuginfo = '...' # Platform-specific. -strip = "none" +strip = "debuginfo" debug-assertions = false overflow-checks = false lto = false