diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-08-15 09:47:56 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-08-15 09:47:56 -0700 |
| commit | 8c579a5daae8debf62334fc91b7e41fee4f0e7a5 (patch) | |
| tree | 0b44eb7647960f90e38ef69bf5b51756dc049538 /src/Text/Pandoc.hs | |
| parent | 388fe3053a2ff5dbc52e8cdac62d7c7cbba059f1 (diff) | |
| parent | f1c87ed16452c96426864a83beb036a4d09d1988 (diff) | |
| download | pandoc-8c579a5daae8debf62334fc91b7e41fee4f0e7a5.tar.gz | |
Merge pull request #2360 from jg/issue-2354
Org reader: add auto identifiers if not present on headers
Diffstat (limited to 'src/Text/Pandoc.hs')
| -rw-r--r-- | src/Text/Pandoc.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Text/Pandoc.hs b/src/Text/Pandoc.hs index a0a9de1b2..d7311d978 100644 --- a/src/Text/Pandoc.hs +++ b/src/Text/Pandoc.hs @@ -320,7 +320,8 @@ getDefaultExtensions "markdown_mmd" = multimarkdownExtensions getDefaultExtensions "markdown_github" = githubMarkdownExtensions getDefaultExtensions "markdown" = pandocExtensions getDefaultExtensions "plain" = plainExtensions -getDefaultExtensions "org" = Set.fromList [Ext_citations] +getDefaultExtensions "org" = Set.fromList [Ext_citations, + Ext_auto_identifiers] getDefaultExtensions "textile" = Set.fromList [Ext_auto_identifiers] getDefaultExtensions "html" = Set.fromList [Ext_auto_identifiers, Ext_native_divs, |