[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 (file)
--- 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