From 650058aceba7a07192cf4e1792e2b24f636dcc31 Mon Sep 17 00:00:00 2001 From: David Waern Date: Mon, 6 Dec 2010 14:23:15 +0000 Subject: Remove --debug. It was't used, and --verbosity should take its place --- src/Haddock/Options.hs | 3 --- 1 file changed, 3 deletions(-) (limited to 'src') 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) -- cgit v1.2.3