diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2017-10-30 10:15:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30 10:15:49 +0100 |
| commit | 0f181c4a70ef5e4753545cd9e0734a015bb815e1 (patch) | |
| tree | 7b36c544f1977438dc0fc7a728f8397ecd9202f2 /haddock-api/src/Haddock/Options.hs | |
| parent | aca68f620beb07f9bdebdf52948c6ea670be4980 (diff) | |
Put Quickjump behind --quickjump flag (#697)
Diffstat (limited to 'haddock-api/src/Haddock/Options.hs')
| -rw-r--r-- | haddock-api/src/Haddock/Options.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/haddock-api/src/Haddock/Options.hs b/haddock-api/src/Haddock/Options.hs index d73d1a79..59d2c8a7 100644 --- a/haddock-api/src/Haddock/Options.hs +++ b/haddock-api/src/Haddock/Options.hs @@ -70,6 +70,7 @@ data Flag | Flag_WikiEntityURL String | Flag_LaTeX | Flag_LaTeXStyle String + | Flag_QuickJumpIndex | Flag_HyperlinkedSource | Flag_SourceCss String | Flag_Mathjax String @@ -126,6 +127,8 @@ options backwardsCompat = Option ['U'] ["use-unicode"] (NoArg Flag_UseUnicode) "use Unicode in HTML output", Option [] ["hoogle"] (NoArg Flag_Hoogle) "output for Hoogle; you may want --package-name and --package-version too", + Option [] ["quickjump"] (NoArg Flag_QuickJumpIndex) + "generate an index for interactive documentation navigation", Option [] ["hyperlinked-source"] (NoArg Flag_HyperlinkedSource) "generate highlighted and hyperlinked source code (for use with --html)", Option [] ["source-css"] (ReqArg Flag_SourceCss "FILE") |