diff --git a/Manual.md b/Manual.md index 63f10f35458..5a183e6c3d1 100644 --- a/Manual.md +++ b/Manual.md @@ -1204,6 +1204,11 @@ package accordingly. Additionally, the following functions are available: Outputs `-D=true` if the option is set, or `-D=false` otherwise. +- *vopt_feature()* `vopt_feature