@@ -102,6 +102,7 @@ data Opt = Opt
102102 , optOffline :: Bool -- ^ Make slideshow accessible offline
103103 , optXeTeX :: Bool -- ^ Format latex for xetex
104104 , optSmart :: Bool -- ^ Use smart typography
105+ , optHtml5 :: Bool -- ^ Produce HTML5 in HTML
105106 , optHTMLMathMethod :: HTMLMathMethod -- ^ Method to print HTML math
106107 , optReferenceODT :: Maybe FilePath -- ^ Path of reference.odt
107108 , optEPUBStylesheet :: Maybe String -- ^ EPUB stylesheet
@@ -142,6 +143,7 @@ defaultOpts = Opt
142143 , optOffline = False
143144 , optXeTeX = False
144145 , optSmart = False
146+ , optHtml5 = False
145147 , optHTMLMathMethod = PlainMath
146148 , optReferenceODT = Nothing
147149 , optEPUBStylesheet = Nothing
@@ -226,6 +228,11 @@ options =
226228 (\opt -> return opt { optSmart = True }))
227229 "" -- "Use smart quotes, dashes, and ellipses"
228230
231+ , Option "5" ["html5"]
232+ (NoArg
233+ (\opt -> return opt { optHtml5 = True }))
234+ "" -- "Produce HTML5 in HTML output"
235+
229236 , Option "m" ["latexmathml", "asciimathml"]
230237 (OptArg
231238 (\arg opt ->
@@ -629,6 +636,7 @@ main = do
629636 , optOffline = offline
630637 , optXeTeX = xetex
631638 , optSmart = smart
639+ , optHtml5 = html5
632640 , optHTMLMathMethod = mathMethod
633641 , optReferenceODT = referenceODT
634642 , optEPUBStylesheet = epubStylesheet
@@ -771,7 +779,8 @@ main = do
771779 else obfuscationMethod,
772780 writerIdentifierPrefix = idPrefix,
773781 writerSourceDirectory = sourceDir,
774− writerUserDataDir = datadir }
782+ writerUserDataDir = datadir,
783+ writerHtml5 = html5 }
775784
776785 when (isNonTextOutput writerName' && outputFile == "-") $
777786 do UTF8.hPutStrLn stderr ("Error: Cannot write " ++ writerName ++ " output to stdout.\n" ++