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