diff options
author | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-04-20T20·34-0400 |
---|---|---|
committer | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-04-20T20·34-0400 |
commit | 4b3a7f93a58f6f8284af54a6c037c16a9d2204b3 (patch) | |
tree | c2223a49f0feb400f8ebfa6a09110f4b77b5fd34 /doc/manual/command-ref/opt-common-syn.xml | |
parent | 9296186c759f1ef301e20fc7e246f104a206efa4 (diff) |
doc: Adds `--quiet` to the common options.
Fixes #1298
Diffstat (limited to 'doc/manual/command-ref/opt-common-syn.xml')
-rw-r--r-- | doc/manual/command-ref/opt-common-syn.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual/command-ref/opt-common-syn.xml b/doc/manual/command-ref/opt-common-syn.xml index 168bef080f4f..b610b54b9620 100644 --- a/doc/manual/command-ref/opt-common-syn.xml +++ b/doc/manual/command-ref/opt-common-syn.xml @@ -9,6 +9,9 @@ </group> </arg> <arg> + <arg choice='plain'><option>--quiet</option></arg> +</arg> +<arg> <group choice='plain'> <arg choice='plain'><option>--no-build-output</option></arg> <arg choice='plain'><option>-Q</option></arg> |