diff options
| -rw-r--r-- | deheader.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/deheader.xml b/deheader.xml index 0198d14..711980e 100644 --- a/deheader.xml +++ b/deheader.xml @@ -114,6 +114,12 @@ Takes a Python regular expression.</para> </listitem> </varlistentry> <varlistentry> +<term>-q</term> +<listitem> +<para>Suppress statistical summary.</para> +</listitem> +</varlistentry> +<varlistentry> <term>-r</term> <listitem> <para>Remove header inclusions from sourcefiles where they are not required.</para> |