Replace -ddump-all and -ddump-most with -v5 and -v4 respectively.
<literal><pass></literal> (may be common enough to need
a short form…). You can get all of these at once
(<emphasis>lots</emphasis> of output) by using
<literal><pass></literal> (may be common enough to need
a short form…). You can get all of these at once
(<emphasis>lots</emphasis> of output) by using
- <option>-ddump-all</option>, or most of them with
- <option>-ddump-most</option>. Some of the most useful ones
+ <option>-v5</option>, or most of them with
+ <option>-v4</option>. Some of the most useful ones
are:</para>
<variablelist>
are:</para>
<variablelist>