diff options
| author | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
| commit | 650058aceba7a07192cf4e1792e2b24f636dcc31 (patch) | |
| tree | 979d41e57fbc5c197655b2226fd0330931fc9784 /doc | |
| parent | aceb0c15dc66ccef10dd402491515aacb8071a2a (diff) | |
Remove --debug. It was't used, and --verbosity should take its place
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/haddock.xml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml index 461d01d3..d4d4c199 100644 --- a/doc/haddock.xml +++ b/doc/haddock.xml @@ -843,20 +843,6 @@ $ pdflatex <replaceable>package</replaceable>.tex</screen> <varlistentry> <term> - <indexterm><primary><option>-d</option></primary></indexterm> - <option>-d</option> - </term> - <term> - <indexterm><primary><option>--debug</option></primary></indexterm> - <option>--debug</option> - </term> - <listitem> - <para>Produce extra debugging output.</para> - </listitem> - </varlistentry> - - <varlistentry> - <term> <indexterm><primary><option>-?</option></primary></indexterm> <option>-?</option> </term> |