diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-01-14 21:00:22 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:42 +0100 |
commit | 5bf912577092fd1fd8874ccc89370396f22b5388 (patch) | |
tree | 16cecc3456e1bf7e339a6ccfa2826915cc4d6abd /src/Text/Pandoc/Extensions.hs | |
parent | 6f8b967d98ea4270aa2492688fbcdfe8bad150b2 (diff) |
Removed readerOldDashes and --old-dashes option, added old_dashes extension.
API change. CLI option change.
Diffstat (limited to 'src/Text/Pandoc/Extensions.hs')
-rw-r--r-- | src/Text/Pandoc/Extensions.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index 584aa18e2..7278ece61 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -131,6 +131,7 @@ data Extension = | Ext_epub_html_exts -- ^ Recognise the EPUB extended version of HTML | Ext_shortcut_reference_links -- ^ Shortcut reference links | Ext_smart -- ^ "Smart" quotes, apostrophes, ellipses, dashes + | Ext_old_dashes -- ^ -- = em, - before number = en deriving (Show, Read, Enum, Eq, Ord, Bounded, Data, Typeable, Generic) pandocExtensions :: Extensions |