diff options
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") |