diff options
Diffstat (limited to 'src/pandoc.hs')
-rw-r--r-- | src/pandoc.hs | 5 |
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"] |