From: simonmar <unknown>
Date: Tue, 6 Jan 2004 10:45:22 +0000 (+0000)
Subject: [project @ 2004-01-06 10:45:22 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~147
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=7769850b96e483716622524adbf8ba9e0497c0b8

[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
--- 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>