diff --git a/src/doc/src/reference/profiles.md b/src/doc/src/reference/profiles.md index 489cbfb6403..15ca8953cbc 100644 --- a/src/doc/src/reference/profiles.md +++ b/src/doc/src/reference/profiles.md @@ -270,6 +270,7 @@ The default settings for the `dev` profile are: opt-level = 0 debug = true split-debuginfo = '...' # Platform-specific. +strip = false debug-assertions = true overflow-checks = true lto = false @@ -292,6 +293,7 @@ The default settings for the `release` profile are: opt-level = 3 debug = false split-debuginfo = '...' # Platform-specific. +strip = false debug-assertions = false overflow-checks = false lto = false