From f838d2f3d4ee8876647f190da3b2c858c6a669d4 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 9 Jan 2013 09:29:42 +0000
Subject: add docs for ":showi language" (#7501)

---
 docs/users_guide/ghci.xml | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

(limited to 'docs/users_guide')

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index f3e93a3ce5..93ab62bf29 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2808,11 +2808,22 @@ bar
 
       <varlistentry>
 	<term>
-          <literal>:show languages</literal>
-          <indexterm><primary><literal>:show languages</literal></primary></indexterm>
+          <literal>:show language</literal>
+          <indexterm><primary><literal>:show language</literal></primary></indexterm>
         </term>
 	<listitem>
-    <para>Show the currently active language flags.</para>
+    <para>Show the currently active language flags for source files.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term>
+          <literal>:showi language</literal>
+          <indexterm><primary><literal>:showi language</literal></primary></indexterm>
+        </term>
+	<listitem>
+          <para>Show the currently active language flags for
+          expressions typed at the prompt (see also <literal>:seti</literal>).</para>
 	</listitem>
       </varlistentry>
 
-- 
cgit v1.2.1