diff options
| author | David Waern <david.waern@gmail.com> | 2010-12-06 14:17:29 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-12-06 14:17:29 +0000 |
| commit | c0c10eda300fa1ecc0c9a8a3fff01c3ba3a4883b (patch) | |
| tree | 805a38cb60c5d6fd10fe16077768870389c6cf75 /src/Haddock/Options.hs | |
| parent | 32eaf3a13f22ff4ecbce395874e2a86f96a96782 (diff) | |
Add a flag --pretty-html for rendering indented html with newlines
Diffstat (limited to 'src/Haddock/Options.hs')
| -rw-r--r-- | src/Haddock/Options.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index f9c86811..8e6c9ba9 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -77,6 +77,7 @@ data Flag | Flag_UseUnicode | Flag_NoTmpCompDir | Flag_Qualification String + | Flag_PrettyHtml deriving (Eq) @@ -153,7 +154,9 @@ options backwardsCompat = "output GHC lib dir", Option ['w'] ["no-warnings"] (NoArg Flag_NoWarnings) "turn off all warnings", Option [] ["no-tmp-comp-dir"] (NoArg Flag_NoTmpCompDir) - "do not re-direct compilation output to a temporary directory" + "do not re-direct compilation output to a temporary directory", + Option [] ["pretty-html"] (NoArg Flag_PrettyHtml) + "generate html with newlines and indenting (for use with --html)" ] |