From: Ian Lynagh <igloo@earth.li>
Date: Sun, 15 Jul 2007 22:11:19 +0000 (+0000)
Subject: In user guide, don't claim that ghci never generates .hi files
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=26553252c9f26a7778c5854c61a2e23266da4eb2

In user guide, don't claim that ghci never generates .hi files
With -fobject-code it now can do.
---

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index c60e249..0409400 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -1516,9 +1516,7 @@ $ ghci Main.hs
 
     <para>Most of the command-line options accepted by GHC (see <xref
     linkend="using-ghc"/>) also make sense in interactive mode.  The ones
-    that don't make sense are mostly obvious; for example, GHCi
-    doesn't generate interface files, so options related to interface
-    file generation won't have any effect.</para>
+    that don't make sense are mostly obvious.</para>
 
     <sect2>
       <title>Packages</title>