Made markdown reader sensitive to Ext_raw_tex.

This commit is contained in:
John MacFarlane 2012-08-02 21:14:43 -07:00
parent 214fef9e27
commit d21304bab0

View file

@ -466,8 +466,9 @@ inlineToMarkdown _ (Math InlineMath str) =
return $ "$" <> text str <> "$"
inlineToMarkdown _ (Math DisplayMath str) =
return $ "$$" <> text str <> "$$"
inlineToMarkdown _ (RawInline f str)
| f == "html" || f == "latex" || f == "tex" || f == "markdown" =
inlineToMarkdown opts (RawInline f str)
| f == "html" || f == "markdown" ||
(isEnabled Ext_raw_tex opts && (f == "latex" || f == "tex")) =
return $ text str
inlineToMarkdown _ (RawInline _ _) = return empty
inlineToMarkdown opts (LineBreak)