projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8173d83
)
markup fix
author
Simon Marlow
<simonmar@microsoft.com>
Tue, 26 Feb 2008 10:25:58 +0000
(10:25 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Tue, 26 Feb 2008 10:25:58 +0000
(10:25 +0000)
docs/users_guide/ghci.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/ghci.xml
b/docs/users_guide/ghci.xml
index
32fbc00
..
5daa29c
100644
(file)
--- 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>
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>
<listitem>
<para><filename>./.ghci</filename></para>
</listitem>
@@
-2640,7
+2640,7
@@
Prelude> :set -fno-glasgow-exts
<listitem>
<para><literal>$HOME/.ghci</literal></para>
</listitem>
<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
<para>The <filename>ghci.conf</filename> file is most useful for
turning on favourite options (eg. <literal>:set +s</literal>), and