diff --git a/Manual.md b/Manual.md index 9e7f7a63275..8d84427f49d 100644 --- a/Manual.md +++ b/Manual.md @@ -438,7 +438,8 @@ The following variables may be set to allow package build options: - `build_options_default` Sets the default build options to be used by the source package. - `desc_option_