From 26553252c9f26a7778c5854c61a2e23266da4eb2 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Sun, 15 Jul 2007 22:11:19 +0000
Subject: [PATCH] In user guide, don't claim that ghci never generates .hi
 files With -fobject-code it now can do.

---
 docs/users_guide/ghci.xml |    4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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