From 80a99ae2d1d501d27fcd9789f382209f2192774f Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Thu, 25 Jul 2002 14:47:30 +0000
Subject: [PATCH] [project @ 2002-07-25 14:47:30 by simonmar] Add
 -ddump-minimal-imports (not sure why this was missing)

MERGE
---
 ghc/docs/users_guide/flags.sgml |    6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ghc/docs/users_guide/flags.sgml b/ghc/docs/users_guide/flags.sgml
index aaf87bf..0454026 100644
--- a/ghc/docs/users_guide/flags.sgml
+++ b/ghc/docs/users_guide/flags.sgml
@@ -300,6 +300,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-ddump-minimal-imports</option></entry>
+	      <entry>Dump a minimal set of imports</entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>--show-iface</option> <replaceable>file</replaceable></entry>
 	      <entry>Read the interface in
 	      <replaceable>file</replaceable> and dump it as text to
-- 
1.7.10.4