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:
3ffe786
)
Add an entry fo the ghci command :run to the user guide
author
Ian Lynagh
<igloo@earth.li>
Tue, 1 Dec 2009 17:33:39 +0000
(17:33 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Tue, 1 Dec 2009 17:33:39 +0000
(17:33 +0000)
docs/users_guide/ghci.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/ghci.xml
b/docs/users_guide/ghci.xml
index
64da676
..
0a50bcc
100644
(file)
--- a/
docs/users_guide/ghci.xml
+++ b/
docs/users_guide/ghci.xml
@@
-2331,6
+2331,16
@@
bar
<varlistentry>
<term>
+ <literal>:run</literal>
+ <indexterm><primary><literal>:run</literal></primary></indexterm>
+ </term>
+ <listitem>
+ <para>See <literal>:main</literal>.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
<literal>:set</literal> <optional><replaceable>option</replaceable>...</optional>
<indexterm><primary><literal>:set</literal></primary></indexterm>
</term>