aboutsummaryrefslogtreecommitdiff
path: root/src/pandoc.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/pandoc.hs')
-rw-r--r--src/pandoc.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/pandoc.hs b/src/pandoc.hs
index 2aeebdbcf..e55875c69 100644
--- a/src/pandoc.hs
+++ b/src/pandoc.hs
@@ -244,7 +244,10 @@ options =
, Option "5" ["html5"]
(NoArg
- (\opt -> return opt { optHtml5 = True }))
+ (\opt -> do
+ UTF8.hPutStrLn stderr $ "pandoc: --html5 is deprecated. "
+ ++ "Use the html5 output format instead."
+ return opt { optHtml5 = True }))
"" -- "Produce HTML5 in HTML output"
, Option "" ["no-highlight"]