diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-04 18:39:39 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-04 18:39:39 -0700 |
| commit | d71b013841f3c9c8c595591e312a31df16a728cb (patch) | |
| tree | 40ad45eb0429eea44ecc3b1e79cb30826376d5e0 /src/Text/Pandoc/Readers/HTML.hs | |
| parent | 2fabdf9d9376d15b3ed2d0f81d3ce1ebe18c2d5e (diff) | |
| download | pandoc-d71b013841f3c9c8c595591e312a31df16a728cb.tar.gz | |
HTML reader: ignore <?xml..> and <DOCTYPE..> tags.
Previously they were parsed as raw.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
| -rw-r--r-- | src/Text/Pandoc/Readers/HTML.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs index 1ded83ff1..a8df1394c 100644 --- a/src/Text/Pandoc/Readers/HTML.hs +++ b/src/Text/Pandoc/Readers/HTML.hs @@ -289,7 +289,7 @@ fixPlains inList bs = if any isParaish bs' pRawTag :: TagParser String pRawTag = do tag <- pAnyTag - let ignorable x = x `elem` ["html","head","body"] + let ignorable x = x `elem` ["html","head","body","DOCTYPE","?xml"] if tagOpen ignorable (const True) tag || tagClose ignorable tag then return [] else return $ renderTags' [tag] |