From 20a0b4433f1fa72f921b5b660a43c221926634ec Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 1 Feb 2019 21:49:02 -0800
Subject: [PATCH] Markdown writer: use markdown="1" when appropriate for Divs.

When `native_divs` and `markdown_in_html_blocks` are disabled
but `raw_html` and `markdown_attribute` are enabled...
---
 src/Text/Pandoc/Writers/Markdown.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Text/Pandoc/Writers/Markdown.hs b/src/Text/Pandoc/Writers/Markdown.hs
index 84fc77a08..7e414d9f1 100644
--- a/src/Text/Pandoc/Writers/Markdown.hs
+++ b/src/Text/Pandoc/Writers/Markdown.hs
@@ -407,7 +407,13 @@ blockToMarkdown' opts (Div attrs ils) = do
               isEnabled Ext_markdown_in_html_blocks opts) ->
                 tagWithAttrs "div" attrs <> blankline <>
                 contents <> blankline <> "</div>" <> blankline
+           | isEnabled Ext_raw_html opts &&
+             isEnabled Ext_markdown_attribute opts ->
+                tagWithAttrs "div" attrs' <> blankline <>
+                contents <> blankline <> "</div>" <> blankline
            | otherwise -> contents <> blankline
+       where (id',classes',kvs') = attrs
+             attrs' = (id',classes',("markdown","1"):kvs')
 blockToMarkdown' opts (Plain inlines) = do
   contents <- inlineListToMarkdown opts inlines
   -- escape if para starts with ordered list marker