diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-09-16 09:49:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-16 09:49:11 -0700 |
| commit | 18fed9f586ad6a940bdbd62c8a608c7169080800 (patch) | |
| tree | 4e3507d768d54ce8aae4c4620b97e81b921b974b /src | |
| parent | 25163bfe53301c0447f1f9fd69638cf26dcf9944 (diff) | |
| parent | b2cc2a24247e043fb8addd7237cd04b268253e33 (diff) | |
| download | pandoc-18fed9f586ad6a940bdbd62c8a608c7169080800.tar.gz | |
Merge pull request #4906 from chris-martin/patch-2
Fix haddock on 'Ext_footnotes'
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Extensions.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index ab510d92d..b60c57497 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -114,7 +114,7 @@ data Extension = | Ext_fenced_code_attributes -- ^ Allow attributes on fenced code blocks | Ext_fenced_code_blocks -- ^ Parse fenced code blocks | Ext_fenced_divs -- ^ Allow fenced div syntax ::: - | Ext_footnotes -- ^ Pandoc/PHP/MMD style footnotes + | Ext_footnotes -- ^ Pandoc\/PHP\/MMD style footnotes | Ext_four_space_rule -- ^ Require 4-space indent for list contents | Ext_gfm_auto_identifiers -- ^ Automatic identifiers for headers, using -- GitHub's method for generating identifiers |