diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2012-07-26 18:56:19 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2012-07-26 18:56:19 -0700 |
commit | 631e5c16fc00ed5f08b4c1152c02f69c4f8411e1 (patch) | |
tree | 5d13d30365e936821e5b83ab782b6d0608367f2b /src/Text/Pandoc/Options.hs | |
parent | f4c7ad6caf3abb52683456c93b58902931234b55 (diff) |
pandoc: Set readerExtensions instead of readerStrict.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
-rw-r--r-- | src/Text/Pandoc/Options.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 88fdbfb00..6784219c9 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -38,10 +38,11 @@ import Data.Default -- | Individually selectable syntax extensions. data Extension = Footnotes - | TeX_math + | Tex_math | Delimited_code_blocks - | Markdown_in_HTML_blocks + | Markdown_in_html_blocks | Fancy_lists + | Startnum | Definition_lists | Header_identifiers | All_symbols_escapable |