From 7769850b96e483716622524adbf8ba9e0497c0b8 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 6 Jan 2004 10:45:22 +0000
Subject: [PATCH] [project @ 2004-01-06 10:45:22 by simonmar] Replace
 -ddump-all and -ddump-most with -v5 and -v4 respectively.

---
 ghc/docs/users_guide/debugging.sgml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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