diff options
author | Simon Marlow <simonmar@microsoft.com> | 2008-02-26 10:25:58 +0000 |
---|---|---|
committer | Simon Marlow <simonmar@microsoft.com> | 2008-02-26 10:25:58 +0000 |
commit | 878ce92d0559e10a083b6983f2d23380086026d8 (patch) | |
tree | f62e15eca31ffdb951764ceb35ec0196546c2b96 /docs | |
parent | 8173d83139bfe52da4cef5a23f514869c3830e8d (diff) | |
download | haskell-878ce92d0559e10a083b6983f2d23380086026d8.tar.gz |
markup fix
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/ghci.xml | 4 |
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 |