summaryrefslogtreecommitdiff
path: root/src/Text/Pandoc/Options.hs
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2012-07-26 18:56:19 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2012-07-26 18:56:19 -0700
commit631e5c16fc00ed5f08b4c1152c02f69c4f8411e1 (patch)
tree5d13d30365e936821e5b83ab782b6d0608367f2b /src/Text/Pandoc/Options.hs
parentf4c7ad6caf3abb52683456c93b58902931234b55 (diff)
pandoc: Set readerExtensions instead of readerStrict.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
-rw-r--r--src/Text/Pandoc/Options.hs5
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