From 2642fe6aad02c04d9ead9aa7ea70ab542f2ee7c0 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Tue, 4 Jun 2013 21:27:44 +0100
Subject: [PATCH] Update docs for "set prompt2"

---
 docs/users_guide/ghci.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 9e8abbb38a9f..66580acbc557 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2707,6 +2707,16 @@ bar
         </listitem>
       </varlistentry>
 
+      <varlistentry>
+	<term>
+           <literal>:set</literal> <literal>prompt2</literal> <replaceable>prompt</replaceable>
+        </term>
+	<listitem>
+	  <para>Sets the string to be used as the continuation prompt
+      (used when using the <literal>:{</literal> command) in GHCi.</para>
+        </listitem>
+      </varlistentry>
+
       <varlistentry>
 	<term>
            <literal>:set</literal> <literal>stop</literal>