diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-07-23 06:58:31 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-07-23 06:58:31 +0000 |
commit | e37cef7364006392a073cc4f6601078829f2dbec (patch) | |
tree | a23aa13174f2eaf2ee4711ca67a3e97743b05359 /src/Haddock/Options.hs | |
parent | c6eab25b7b9b6b8fb077014de61324416e4f2816 (diff) |
drop --themes support, add named theme support
decided that --themes was silly - no one would do that, just use
multiple --theme arguments
made --theme a synonym for --css and -c
made those arguments, if no file is found, look up the argument as the
name of a built in theme
all of this let's haddock be invoked with "--theme=classic" for example.
Diffstat (limited to 'src/Haddock/Options.hs')
-rw-r--r-- | src/Haddock/Options.hs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index 4ea2db5e..0e2e244b 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -53,7 +53,6 @@ data Flag | Flag_SourceBaseURL String | Flag_SourceModuleURL String | Flag_SourceEntityURL String - | Flag_Themes String | Flag_WikiBaseURL String | Flag_WikiModuleURL String | Flag_WikiEntityURL String @@ -113,12 +112,10 @@ options backwardsCompat = "URL for a comments link for each module\n(using the %{MODULE} var)", Option [] ["comments-entity"] (ReqArg Flag_WikiEntityURL "URL") "URL for a comments link for each entity\n(using the %{FILE}, %{MODULE}, %{NAME},\n%{KIND} or %{LINE} vars)", - Option ['c'] ["css"] (ReqArg Flag_CSS "PATH") + Option ['c'] ["css", "theme"] (ReqArg Flag_CSS "PATH") "the CSS file or theme directory to use for HTML output", - Option [] ["themes"] (ReqArg Flag_Themes "DIR") - "a directory of CSS files or themes to use for HTML output", Option [] ["default-themes"] (NoArg Flag_DefaultThemes) - "include all the available haddock themes", + "include all the built-in haddock themes", Option ['p'] ["prologue"] (ReqArg Flag_Prologue "FILE") "file containing prologue text", Option ['t'] ["title"] (ReqArg Flag_Heading "TITLE") |