From: simonmar <unknown>
Date: Thu, 25 Jul 2002 14:47:30 +0000 (+0000)
Subject: [project @ 2002-07-25 14:47:30 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~1804
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=80a99ae2d1d501d27fcd9789f382209f2192774f;p=ghc-hetmet.git

[project @ 2002-07-25 14:47:30 by simonmar]
Add -ddump-minimal-imports (not sure why this was missing)

MERGE
---

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