diff options
| author | David Waern <david.waern@gmail.com> | 2011-11-25 02:30:41 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-11-25 02:30:41 +0100 |
| commit | 7a6b3777157e2a1e63d662b354104229cf773342 (patch) | |
| tree | ba8ac1ba1e3f5ef7f21d17a6a293c25adc4eda81 /src/Haddock/Options.hs | |
| parent | 3bdd9282ce67d1094c36204e77e3f32356a2c059 (diff) | |
Add flag --interface-version.
Diffstat (limited to 'src/Haddock/Options.hs')
| -rw-r--r-- | src/Haddock/Options.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Haddock/Options.hs b/src/Haddock/Options.hs index 7323a806..4e42fd32 100644 --- a/src/Haddock/Options.hs +++ b/src/Haddock/Options.hs @@ -62,6 +62,7 @@ data Flag | Flag_Help | Flag_Verbosity String | Flag_Version + | Flag_InterfaceVersion | Flag_UseContents String | Flag_GenContents | Flag_UseIndex String @@ -130,6 +131,8 @@ options backwardsCompat = "display this help and exit", Option ['V'] ["version"] (NoArg Flag_Version) "output version information and exit", + Option [] ["interface-version"] (NoArg Flag_InterfaceVersion) + "output interface file version and exit", Option ['v'] ["verbosity"] (ReqArg Flag_Verbosity "VERBOSITY") "set verbosity level", Option [] ["use-contents"] (ReqArg Flag_UseContents "URL") |