@@ -76,8 +76,9 @@ import System.IO.Error (isDoesNotExistError)
76import Text.Pandoc
76import Text.Pandoc
77import Text.Pandoc.Builder (setMeta)
77import Text.Pandoc.Builder (setMeta)
78import Text.Pandoc.Class (PandocIO, extractMedia, fillMediaBag, getLog,
78import Text.Pandoc.Class (PandocIO, extractMedia, fillMediaBag, getLog,
79− setResourcePath, getMediaBag, setTrace)
79+ setResourcePath, getMediaBag, setTrace, report)
80import Text.Pandoc.Highlighting (highlightingStyles)
80import Text.Pandoc.Highlighting (highlightingStyles)
81+import Text.Pandoc.Logging (LogMessage(..))
81import Text.Pandoc.Lua (runLuaFilter, LuaException(..))
82import Text.Pandoc.Lua (runLuaFilter, LuaException(..))
82import Text.Pandoc.Writers.Math (defaultMathJaxURL, defaultKaTeXURL)
83import Text.Pandoc.Writers.Math (defaultMathJaxURL, defaultKaTeXURL)
83import Text.Pandoc.PDF (makePDF)
84import Text.Pandoc.PDF (makePDF)
@@ -444,6 +445,9 @@ convertWithOpts opts = do
444 Native -> nativeNewline
445 Native -> nativeNewline
446 runIO' $ do
447 runIO' $ do
448+ when (readerName == "markdown_github" ||
449+ writerName == "markdown_github") $
450+ report $ Deprecated "markdown_github" "Use gfm instead."
447 setResourcePath (optResourcePath opts)
451 setResourcePath (optResourcePath opts)
448 doc <- sourceToDoc sources >>=
452 doc <- sourceToDoc sources >>=
449 ( (if isJust (optExtractMedia opts)
453 ( (if isJust (optExtractMedia opts)