diff --git a/Manual.md b/Manual.md index 9ea8dfbf891..4d8a5b884fb 100644 --- a/Manual.md +++ b/Manual.md @@ -514,7 +514,26 @@ should be added to `common/options.description` instead. After defining those required variables, you can check for the `build_option_