aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/command-ref/opt-common-syn.xml
diff options
context:
space:
mode:
authorMatthew Bauer <mjbauer95@gmail.com>2020-06-17 13:18:47 -0400
committerMatthew Bauer <mjbauer95@gmail.com>2020-06-17 13:32:29 -0400
commit7bd88cc1dc746ed2883e1eaebb3230ec2c2bb035 (patch)
tree804e3731a5f6b4a370ac7f79c03c6fa0233ccc79 /doc/manual/command-ref/opt-common-syn.xml
parent6438ba1e990ddf76602a70d5c1143b73ed31855c (diff)
parent2f51cd8dc95231b2e2f5b3bd75ac6d8d2dece361 (diff)
Merge remote-tracking branch 'origin/master' into substitute-other-storedir
Diffstat (limited to 'doc/manual/command-ref/opt-common-syn.xml')
-rw-r--r--doc/manual/command-ref/opt-common-syn.xml6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/manual/command-ref/opt-common-syn.xml b/doc/manual/command-ref/opt-common-syn.xml
index b610b54b9..2660e3bb1 100644
--- a/doc/manual/command-ref/opt-common-syn.xml
+++ b/doc/manual/command-ref/opt-common-syn.xml
@@ -1,5 +1,5 @@
<nop xmlns="http://docbook.org/ns/docbook">
-
+
<arg><option>--help</option></arg>
<arg><option>--version</option></arg>
<arg rep='repeat'>
@@ -12,6 +12,10 @@
<arg choice='plain'><option>--quiet</option></arg>
</arg>
<arg>
+ <option>--log-format</option>
+ <replaceable>format</replaceable>
+</arg>
+<arg>
<group choice='plain'>
<arg choice='plain'><option>--no-build-output</option></arg>
<arg choice='plain'><option>-Q</option></arg>