summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2009-12-01 17:33:39 +0000
committerIan Lynagh <igloo@earth.li>2009-12-01 17:33:39 +0000
commite192dcbfaf85e299ac49b0e2ba3475fc1d517291 (patch)
tree896872052864b7b2ee190f74bced988b697780db
parent3ffe7863bbf8f5b988f84265027be01c342de6e8 (diff)
downloadhaskell-e192dcbfaf85e299ac49b0e2ba3475fc1d517291.tar.gz
Add an entry fo the ghci command :run to the user guide
-rw-r--r--docs/users_guide/ghci.xml10
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 64da676282..0a50bcc554 100644
--- 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>