From 7a6b3777157e2a1e63d662b354104229cf773342 Mon Sep 17 00:00:00 2001 From: David Waern Date: Fri, 25 Nov 2011 02:30:41 +0100 Subject: Add flag --interface-version. --- src/Haddock/Options.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/Haddock/Options.hs') 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") -- cgit v1.2.3