diff options
Diffstat (limited to 'docs/markdown/Build-options.md')
| -rw-r--r-- | docs/markdown/Build-options.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/markdown/Build-options.md b/docs/markdown/Build-options.md index 56b2693b8..d615db689 100644 --- a/docs/markdown/Build-options.md +++ b/docs/markdown/Build-options.md @@ -155,7 +155,7 @@ option('o5', type: 'boolean', deprecated: {'enabled': 'true', 'disabled': 'false ``` Since *0.63.0* the `deprecated` keyword argument can take the name of a new option -that replace this option. In that case, setting a value on the deprecated option +that replaces this option. In that case, setting a value on the deprecated option will set the value on both the old and new names, assuming they accept the same values. |