diff options
Diffstat (limited to 'src/pandoc.hs')
| -rw-r--r-- | src/pandoc.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pandoc.hs b/src/pandoc.hs index c1ca7afcd..fac615a8d 100644 --- a/src/pandoc.hs +++ b/src/pandoc.hs @@ -409,7 +409,7 @@ options = "javascript" -> return JavascriptObfuscation "none" -> return NoObfuscation _ -> err 6 - ("Error: Unknown obfuscation method: " ++ arg) + ("Unknown obfuscation method: " ++ arg) return opt { optEmailObfuscation = method }) "none|javascript|references") "" -- "Method for obfuscating email in HTML" @@ -947,7 +947,7 @@ main = do writerHighlightStyle = highlightStyle } when (writerName' `elem` nonTextFormats&& outputFile == "-") $ - err 5 $ "Error: Cannot write " ++ writerName' ++ " output to stdout.\n" ++ + err 5 $ "Cannot write " ++ writerName' ++ " output to stdout.\n" ++ "Specify an output file using the -o option." let readSources [] = mapM readSource ["-"] |