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 | |
| parent | b57e554b59236eab7c9298b4b5bf6d32e5d7cda8 (diff) | |
| download | pandoc-002ae95d7a72313d979e9da4666cf61ebd009154.tar.gz | |
Options: Added option to turn on epub html extensions
| -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 |