diff options
author | John MacFarlane <jgm@berkeley.edu> | 2012-08-19 11:12:18 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2012-08-19 11:15:32 -0700 |
commit | 7b34dd8dd1cf991807c84fc2900e19869885995d (patch) | |
tree | b205f0ac9fae0d0bd5b39a08f052c23114b1c459 /src/Text/Pandoc/Options.hs | |
parent | 5d3b2955681d84458537e3bea7b004262960d374 (diff) |
Added Ext_abbrevations for PHP markdown style abbreviation keys.
Note: pandoc does not have an abbreviation element (yet) and
so currently when this extension is enabled, it just causes
pandoc to skip the abbrevation keys.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
-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 f982dac46..77b134aaa 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -85,6 +85,7 @@ data Extension = | Ext_subscript -- ^ Subscript using ~this~ syntax | Ext_hard_line_breaks -- ^ All newlines become hard line breaks | Ext_literate_haskell -- ^ Enable literate Haskell conventions + | Ext_abbreviations -- ^ PHP markdown extra abbreviation definitions deriving (Show, Read, Enum, Eq, Ord, Bounded) pandocExtensions :: Set Extension |