diff options
Diffstat (limited to 'doc/generated/functions.gen')
| -rw-r--r-- | doc/generated/functions.gen | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/generated/functions.gen b/doc/generated/functions.gen index e72740a2..79a83c62 100644 --- a/doc/generated/functions.gen +++ b/doc/generated/functions.gen @@ -3998,6 +3998,14 @@ which corresponds to --random; and </listitem> </varlistentry> <varlistentry> +<term><literal>silent</literal></term> +<listitem> +<para> +which corresponds to --silent. +</para> +</listitem> +</varlistentry> +<varlistentry> <term><literal>stack_size</literal></term> <listitem> <para> |