From 2df369da6d961f278b231aac6d21fdd25dafaf31 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Mon, 16 Jul 2007 17:15:50 +0000 Subject: [PATCH] Tweak punctuation in the user guide --- docs/users_guide/ghci.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 The :set command sets two types of options: GHCi options, which begin with - ‘+” and “command-line” + ‘+’, and “command-line” options, which begin with ‘-’. NOTE: at the moment, the :set command -- 1.7.10.4