diff options
Diffstat (limited to 'doc/manual/opt-common-syn.xml')
| -rw-r--r-- | doc/manual/opt-common-syn.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/opt-common-syn.xml b/doc/manual/opt-common-syn.xml index 6628fde93516..d65f4009ee6e 100644 --- a/doc/manual/opt-common-syn.xml +++ b/doc/manual/opt-common-syn.xml @@ -37,6 +37,11 @@ <option>-I</option> <replaceable>path</replaceable> </arg> +<arg> + <option>--option</option> + <replaceable>name</replaceable> + <replaceable>value</replaceable> +</arg> <sbr /> </nop> |