X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=docs%2Fusers_guide%2Fghci.xml;h=5daa29c9a12eb6faf5d9c6db5834e449bd9c5baa;hp=32fbc00bd7a0b47f34d1dc3ab69e965851359e85;hb=878ce92d0559e10a083b6983f2d23380086026d8;hpb=8173d83139bfe52da4cef5a23f514869c3830e8d

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