diff options
| author | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:41:55 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:41:55 +0000 |
| commit | 2e60299addd5c15f728afa8eb6e1e1c04aad58ea (patch) | |
| tree | f971c5d67a2ebc87c9db385e5159b00dd274c88e | |
| parent | 44deff77bb19105571fba6559fd62b8ddf127af6 (diff) | |
Document the --optghc flag
| -rw-r--r-- | doc/haddock.xml | 11 |
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> |