@@ -257,7 +257,7 @@ options =
257257 , Option "5" ["html5"]
258258 (NoArg
259259 (\opt -> do
260− warn $ "pandoc: --html5 is deprecated. "
260+ warn $ "--html5 is deprecated. "
261261 ++ "Use the html5 output format instead."
262262 return opt { optHtml5 = True }))
263263 "" -- "Produce HTML5 in HTML output"
@@ -345,8 +345,9 @@ options =
345345
346346 , Option "" ["offline"]
347347 (NoArg
348− (\opt -> return opt { optSelfContained = True,
349− optStandalone = True }))
348+ (\opt -> do warn $ "--offline is deprecated. Use --self-contained instead."
349+ return opt { optSelfContained = True,
350+ optStandalone = True }))
350351 "" -- "Make slide shows include all the needed js and css"
351352 -- deprecated synonym for --self-contained
352353