mirror of
https://github.com/jgm/pandoc.git
synced 2026-10-24 01:07:21 +08:00
HTML reader: handle spaces before <html>.
Resolves Issue #216. git-svn-id: https://pandoc.googlecode.com/svn/trunk@1837 788f1e2b-df1e-0410-8736-df70ead52e1b
This commit is contained in:
@@ -486,6 +486,7 @@ endOfDoc = try $ do
|
||||
parseHtml :: GenParser Char ParserState Pandoc
|
||||
parseHtml = do
|
||||
sepEndBy (choice [xmlDec, definition, htmlComment]) spaces
|
||||
spaces
|
||||
skipHtmlTag "html"
|
||||
spaces
|
||||
meta <- option (Meta [] [] []) parseHead
|
||||
|
||||
Reference in New Issue
Block a user