diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2014-07-30 00:49:46 +0100 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2014-07-31 21:39:49 +0100 |
commit | 002ae95d7a72313d979e9da4666cf61ebd009154 (patch) | |
tree | 8b248986bb2d0c3d635ce6c3bba46589f8cce01e /src/Text | |
parent | b57e554b59236eab7c9298b4b5bf6d32e5d7cda8 (diff) | |
download | pandoc-002ae95d7a72313d979e9da4666cf61ebd009154.tar.gz |
Options: Added option to turn on epub html extensions
Diffstat (limited to 'src/Text')
-rw-r--r-- | src/Text/Pandoc/Options.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 85a6a3096..bb213bac0 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -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 |