diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-10 22:38:07 -0800 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-10 22:39:47 -0800 |
commit | f8db21fa16e8f8e3244f4d3fc85ea1df17aae86f (patch) | |
tree | 0c374667b4fd18fc9dadf079a839fb3bdf6f1452 /src/Text/Pandoc | |
parent | 23ab5ffcb0b708e4f07cafd7a877926ce0dc532b (diff) | |
download | pandoc-f8db21fa16e8f8e3244f4d3fc85ea1df17aae86f.tar.gz |
Options: Added phpMarkdownExtraExtensions.
And added markdown_phpextra input/output format.
Diffstat (limited to 'src/Text/Pandoc')
-rw-r--r-- | src/Text/Pandoc/Options.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index b62187bfe..2382bb3e8 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -31,6 +31,7 @@ options. module Text.Pandoc.Options ( Extension(..) , pandocExtensions , strictExtensions + , phpMarkdownExtraExtensions , ReaderOptions(..) , HTMLMathMethod (..) , CiteMethod (..) @@ -134,6 +135,19 @@ pandocExtensions = Set.fromList , Ext_implicit_header_references ] +phpMarkdownExtraExtensions :: Set Extension +phpMarkdownExtraExtensions = Set.fromList + [ Ext_footnotes + , Ext_pipe_tables + , Ext_raw_html + , Ext_markdown_attribute + , Ext_fenced_code_blocks + , Ext_definition_lists + , Ext_intraword_underscores + , Ext_header_attributes + , Ext_abbreviations + ] + strictExtensions :: Set Extension strictExtensions = Set.fromList [ Ext_raw_html ] |