diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-03-14 12:43:59 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-03-14 12:45:45 -0700 |
| commit | 54f6e1be9b12635c8c3b1d3581ff5f51167d54d7 (patch) | |
| tree | 44662e12ca4fd24c2e54dde0e9786323cb8ddb07 /src/Text | |
| parent | c9cf8568bfda40cc8027a2eb6b7f87ba296fbd23 (diff) | |
Remove `native_divs` from allowed gfm extensions.
This allows `<div>` to be suppressed using `-raw_html`.
Previously `native_divs` was enabled but could
not be suppressed, because it was not in the list of
available extensions for commonmark-based formats.
Closes #7965.
Diffstat (limited to 'src/Text')
| -rw-r--r-- | src/Text/Pandoc/Extensions.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Extensions.hs b/src/Text/Pandoc/Extensions.hs index 1cb77bd6d..449f56b96 100644 --- a/src/Text/Pandoc/Extensions.hs +++ b/src/Text/Pandoc/Extensions.hs @@ -265,7 +265,6 @@ githubMarkdownExtensions :: Extensions githubMarkdownExtensions = extensionsFromList [ Ext_pipe_tables , Ext_raw_html - , Ext_native_divs , Ext_auto_identifiers , Ext_gfm_auto_identifiers , Ext_autolink_bare_uris @@ -356,7 +355,6 @@ getDefaultExtensions "plain" = plainExtensions getDefaultExtensions "gfm" = extensionsFromList [ Ext_pipe_tables , Ext_raw_html - , Ext_native_divs , Ext_auto_identifiers , Ext_gfm_auto_identifiers , Ext_autolink_bare_uris |