@@ -257,7 +257,7 @@ options =
257 , Option "5" ["html5"]
257 , Option "5" ["html5"]
259 (\opt -> do
259 (\opt -> do
260− warn $ "pandoc: --html5 is deprecated. "
260+ warn $ "--html5 is deprecated. "
261 ++ "Use the html5 output format instead."
261 ++ "Use the html5 output format instead."
262 return opt { optHtml5 = True }))
262 return opt { optHtml5 = True }))
263 "" -- "Produce HTML5 in HTML output"
263 "" -- "Produce HTML5 in HTML output"
@@ -345,8 +345,9 @@ options =
346 , Option "" ["offline"]
346 , Option "" ["offline"]
348+ (\opt -> do warn $ "--offline is deprecated. Use --self-contained instead."
348− (\opt -> return opt { optSelfContained = True,
349+ return opt { optSelfContained = True,
349− optStandalone = True }))
350+ optStandalone = True }))
350 "" -- "Make slide shows include all the needed js and css"
351 "" -- "Make slide shows include all the needed js and css"
351 -- deprecated synonym for --self-contained
352 -- deprecated synonym for --self-contained