[project @ 2004-01-06 10:45:22 by simonmar]

Replace -ddump-all and -ddump-most with -v5 and -v4 respectively.

diff --git a/ghc/docs/users_guide/debugging.sgml b/ghc/docs/users_guide/debugging.sgml
index 76a50a0..308a5f5 100644 (file)
--- a/ghc/docs/users_guide/debugging.sgml
+++ b/ghc/docs/users_guide/debugging.sgml
@@ -20,8 +20,8 @@
         <literal>&lt;pass&gt;</literal> (may be common enough to need
         a short form&hellip;).  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>