diff options
| author | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:23:52 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2008-01-07 16:23:52 +0000 |
| commit | 25bfeadce997376b9bafbb7dfbeb8ee2f4924b6a (patch) | |
| tree | bdfe416ccf039e1042b504fbfd8882c9f239e576 | |
| parent | 7dd5d9fdf19c9494fac778834fa1e707cc265df4 (diff) | |
Remove --no-implicit-prelide flag
| -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 88ba56c3..31976ae0 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -63,7 +63,6 @@ data Flag | Flag_Hoogle | Flag_HtmlHelp String | Flag_Lib String - | Flag_NoImplicitPrelude | Flag_OutputDir FilePath | Flag_Prologue FilePath | Flag_SourceBaseURL String @@ -127,8 +126,6 @@ options backwardsCompat = "file containing prologue text", Option ['t'] ["title"] (ReqArg Flag_Heading "TITLE") "page heading", - Option ['n'] ["no-implicit-prelude"] (NoArg Flag_NoImplicitPrelude) - "do not assume Prelude is imported", Option ['d'] ["debug"] (NoArg Flag_Debug) "extra debugging output", Option ['?'] ["help"] (NoArg Flag_Help) |