aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDavid Waern <davve@dtek.chalmers.se>2008-01-07 16:41:55 +0000
committerDavid Waern <davve@dtek.chalmers.se>2008-01-07 16:41:55 +0000
commit2e60299addd5c15f728afa8eb6e1e1c04aad58ea (patch)
treef971c5d67a2ebc87c9db385e5159b00dd274c88e /doc
parent44deff77bb19105571fba6559fd62b8ddf127af6 (diff)
Document the --optghc flag
Diffstat (limited to 'doc')
-rw-r--r--doc/haddock.xml11
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml
index 18db92d4..c78fb662 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -237,6 +237,17 @@
<varlistentry>
<term>
+ <indexterm><primary><option>--optghc</option></primary></indexterm>
+ <option>--optghc</option>=<replaceable>option</replaceable>
+ </term>
+ <listitem>
+ <para>Pass <replaceable>option</replaceable> to GHC.</para>
+ </listitem>
+ </varlistentry>
+
+
+ <varlistentry>
+ <term>
<indexterm><primary><option>-o</option></primary></indexterm>
<option>-o</option> <replaceable>dir</replaceable>
</term>