diff options
| author | Mark Lentczner <markl@glyphic.com> | 2010-07-24 16:55:22 +0000 |
|---|---|---|
| committer | Mark Lentczner <markl@glyphic.com> | 2010-07-24 16:55:22 +0000 |
| commit | 9393846ff6b439bd8f360f1239e79fe684f734ee (patch) | |
| tree | fd043fa61222114131f99c98177c84da40b0a5d8 /src/Main.hs | |
| parent | 03836297a59c665f72176f3efecd448bac5e8423 (diff) | |
excisting last vestiges of the --xhtml flag
Diffstat (limited to 'src/Main.hs')
| -rw-r--r-- | src/Main.hs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Main.hs b/src/Main.hs index b21f5a8b..159cb48d 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -151,7 +151,7 @@ main = handleTopExceptions $ do Nothing -> return () else do - when (any (`elem` [Flag_Html, Flag_Xhtml, Flag_Hoogle, Flag_LaTeX]) flags) $ + when (any (`elem` [Flag_Html, Flag_Hoogle, Flag_LaTeX]) flags) $ throwE "No input file(s)." -- Get packages supplied with --read-interface. @@ -344,10 +344,6 @@ shortcutFlags flags = do throwE "-h cannot be used with --gen-index or --gen-contents" when ((Flag_GenIndex `elem` flags || Flag_GenContents `elem` flags) - && Flag_Xhtml `elem` flags) $ - throwE "--xhtml cannot be used with --gen-index or --gen-contents" - - when ((Flag_GenIndex `elem` flags || Flag_GenContents `elem` flags) && Flag_Hoogle `elem` flags) $ throwE "--hoogle cannot be used with --gen-index or --gen-contents" |