diff options
| author | Chris Martin <ch.martin@gmail.com> | 2018-09-15 18:32:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-15 18:32:58 -0400 |
| commit | b2cc2a24247e043fb8addd7237cd04b268253e33 (patch) | |
| tree | 92c085ac9cc2ae97dbc8fa288c37cf803013db68 /src | |
| parent | 6bd8037b8dc3a6e9d820d412d23fff99ec0c21a6 (diff) | |
| download | pandoc-b2cc2a24247e043fb8addd7237cd04b268253e33.tar.gz | |
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 |