From 3ccf5570709c61d82accfb764603fba0fabf8179 Mon Sep 17 00:00:00 2001 From: David Waern Date: Fri, 27 Nov 2009 22:05:15 +0000 Subject: Whitespace police --- src/Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/Main.hs b/src/Main.hs index 76ccab3c..04ccc163 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -374,7 +374,7 @@ handleEasyFlags flags = do bye $ dir ++ "\n" when (Flag_UseUnicode `elem` flags && Flag_Html `notElem` flags) $ - throwE "Unicode can only be enabled for HTML output." + throwE "Unicode can only be enabled for HTML output." when ((Flag_GenIndex `elem` flags || Flag_GenContents `elem` flags) && Flag_Html `elem` flags) $ -- cgit v1.2.3