diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-12-06 16:05:27 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-06 16:05:50 -0800 |
commit | f6007e7146460643a8fe4a4d3434001c6ef136bb (patch) | |
tree | 627721369f9834cbc9daf98dfc753c8a42d4be42 /src/Text/Pandoc/Readers/HTML.hs | |
parent | 4066a385ace1cee53336bf4c10734239044a92ae (diff) |
Markdown reader: accept processing instructions as raw HTML.
Closes #4125.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
-rw-r--r-- | src/Text/Pandoc/Readers/HTML.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Readers/HTML.hs b/src/Text/Pandoc/Readers/HTML.hs index b0f5d38f9..f5f296712 100644 --- a/src/Text/Pandoc/Readers/HTML.hs +++ b/src/Text/Pandoc/Readers/HTML.hs @@ -1155,8 +1155,9 @@ htmlTag f = try $ do -- in XML element names let isNameChar c = isAlphaNum c || c == ':' || c == '-' || c == '_' let isName s = case s of - [] -> False - (c:cs) -> isLetter c && all isNameChar cs + [] -> False + ('?':_) -> True -- processing instruction + (c:cs) -> isLetter c && all isNameChar cs let endpos = if ln == 1 then setSourceColumn startpos |