summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorSimon Marlow <simonmar@microsoft.com>2008-02-26 10:25:58 +0000
committerSimon Marlow <simonmar@microsoft.com>2008-02-26 10:25:58 +0000
commit878ce92d0559e10a083b6983f2d23380086026d8 (patch)
treef62e15eca31ffdb951764ceb35ec0196546c2b96 /docs
parent8173d83139bfe52da4cef5a23f514869c3830e8d (diff)
downloadhaskell-878ce92d0559e10a083b6983f2d23380086026d8.tar.gz
markup fix
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/ghci.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 32fbc00bd7..5daa29c9a1 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