From 878ce92d0559e10a083b6983f2d23380086026d8 Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Tue, 26 Feb 2008 10:25:58 +0000
Subject: [PATCH] markup fix

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

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 32fbc00..5daa29c 100644
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2625,7 +2625,7 @@ Prelude> :set -fno-glasgow-exts
     flag is given, GHCi reads and executes commands from the following
     files, in this order, if they exist:</para>
 
-    <enumeratedlist>
+    <orderedlist>
     <listitem>
       <para><filename>./.ghci</filename></para>
     </listitem>
@@ -2640,7 +2640,7 @@ Prelude> :set -fno-glasgow-exts
     <listitem>
       <para><literal>$HOME/.ghci</literal></para>
     </listitem>
-   </enumeratedlist>
+   </orderedlist>
 
     <para>The <filename>ghci.conf</filename> file is most useful for
     turning on favourite options (eg. <literal>:set +s</literal>), and
-- 
1.7.10.4