diff options
| author | David Waern <david.waern@gmail.com> | 2009-11-27 22:05:15 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2009-11-27 22:05:15 +0000 |
| commit | 3ccf5570709c61d82accfb764603fba0fabf8179 (patch) | |
| tree | 1ecbce9a753ea007a98edbe56c6206b99ced54ac /src | |
| parent | dc3a42156eeb0fd1457a395e69f5778c0446caa5 (diff) | |
Whitespace police
Diffstat (limited to 'src')
| -rw-r--r-- | src/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) $ |