@@ -569,22 +569,6 @@ options =
569569 optStandalone = True }))
570570 "" -- "Make slide shows include all the needed js and css"
571571
572− , Option "" ["offline"]
573− (NoArg
574− (\opt -> do warn "--offline is deprecated. Use --self-contained instead."
575− return opt { optSelfContained = True,
576− optStandalone = True }))
577− "" -- "Make slide shows include all the needed js and css"
578− -- deprecated synonym for --self-contained
579−
580− , Option "5" ["html5"]
581− (NoArg
582− (\opt -> do
583− warn $ "--html5 is deprecated. "
584− ++ "Use the html5 output format instead."
585− return opt { optHtml5 = True }))
586− "" -- "Produce HTML5 in HTML output"
587−
588572 , Option "" ["html-q-tags"]
589573 (NoArg
590574 (\opt ->