From: Ian Lynagh <igloo@earth.li>
Date: Mon, 16 Jul 2007 17:24:48 +0000 (+0000)
Subject: Correct user guide on when .ghci is read
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a6af61e04afdd107bd39ea445117ad028f7c83c0

Correct user guide on when .ghci is read
---

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index e034021..afe7090 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2424,9 +2424,10 @@ Prelude> :set -fno-glasgow-exts
     <indexterm><primary>startup</primary><secondary>files, GHCi</secondary>
     </indexterm>
 
-    <para>When it starts, GHCi always reads and executes commands from
-    <filename>$HOME/.ghci</filename>, followed by
-    <filename>./.ghci</filename>.</para>
+    <para>When it starts, unless the <literal>-ignore-dot-ghci</literal>
+    flag is given, GHCi reads and executes commands from
+    <filename>./.ghci</filename>, followed by
+    <filename>$HOME/.ghci</filename>.</para>
 
     <para>The <filename>.ghci</filename> in your home directory is
     most useful for turning on favourite options (eg. <literal>:set