From: Ian Lynagh <igloo@earth.li>
Date: Mon, 16 Jul 2007 17:15:50 +0000 (+0000)
Subject: Tweak punctuation in the user guide
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2df369da6d961f278b231aac6d21fdd25dafaf31

Tweak punctuation in the user guide
---

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 45ac5a6..e034021 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2312,7 +2312,7 @@ Prelude> :main foo bar
 
     <para>The <literal>:set</literal> command sets two types of
     options: GHCi options, which begin with
-    &lsquo;<literal>+</literal>&rdquo; and &ldquo;command-line&rdquo;
+    &lsquo;<literal>+</literal>&rsquo;, and &ldquo;command-line&rdquo;
     options, which begin with &lsquo;-&rsquo;.  </para>
 
     <para>NOTE: at the moment, the <literal>:set</literal> command