diff options
| author | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2010-12-06 14:23:15 +0000 |
| commit | 650058aceba7a07192cf4e1792e2b24f636dcc31 (patch) | |
| tree | 979d41e57fbc5c197655b2226fd0330931fc9784 /src/Haddock | |
| parent | aceb0c15dc66ccef10dd402491515aacb8071a2a (diff) | |
Remove --debug. It was't used, and --verbosity should take its place
Diffstat (limited to 'src/Haddock')
| -rw-r--r-- | src/Haddock/Options.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index 8e6c9ba9..9a08eb84 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -42,7 +42,6 @@ import qualified Data.Char as Char data Flag = Flag_BuiltInThemes | Flag_CSS String - | Flag_Debug -- | Flag_DocBook | Flag_ReadInterface String | Flag_DumpInterface String @@ -126,8 +125,6 @@ options backwardsCompat = "page heading", Option ['q'] ["qual"] (ReqArg Flag_Qualification "QUALI") "qualification of names, one of \n'none' (default), 'full', 'local'\nor 'relative'", - Option ['d'] ["debug"] (NoArg Flag_Debug) - "extra debugging output", Option ['?'] ["help"] (NoArg Flag_Help) "display this help and exit", Option ['V'] ["version"] (NoArg Flag_Version) |