Options: Added option to turn on epub html extensions

2026-09-26 17:35:49 +00:00 · 2014-07-31 21:39:49 +01:00
parent b57e554b59
commit 002ae95d7a
1 changed files with 1 additions and 0 deletions
@@ -106,6 +106,7 @@ data Extension =
    | Ext_mmd_header_identifiers -- ^ Multimarkdown style header identifiers [myid]
    | Ext_implicit_header_references -- ^ Implicit reference links for headers
    | Ext_line_blocks         -- ^ RST style line blocks
+    | Ext_epub_html_exts      -- ^ Recognise the EPUB extended version of HTML
    deriving (Show, Read, Enum, Eq, Ord, Bounded)

 pandocExtensions :: Set Extension