From a816c1c3a1adb73d8ab74945ca5b2b1fb60eb3a9 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Thu, 2 Feb 2023 15:25:24 +0300 Subject: Document that options may also be specified in *-build-config manifest value --- doc/manual.cli | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/doc/manual.cli b/doc/manual.cli index cc40cb2..e96cc2f 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -2266,9 +2266,9 @@ Note that the comment of the matching exclusion is used by the web interface \ [*-build-config]: [; ] - = []* []* + = [