LaTeX reader: Allow ignored comments after \end{document}.
commitb05e739c6dcc33866c6e34017778f50da2692a8a
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 30 Dec 2010, 22:05 (16 years ago)
parentd6f28af
src/Text/Pandoc/Readers/LaTeX.hs+1−3
@@ -128,9 +128,7 @@ parseLaTeX :: GenParser Char ParserState Pandoc
128128parseLaTeX = do
129129 spaces
130130 blocks <- try (processLaTeXPreamble >> spaces >> environment "document")
131− <|> many block
132− spaces
133− eof
131+ <|> (many block >>~ (spaces >> eof))
134132 state <- getState
135133 let blocks' = filter (/= Null) blocks
136134 let title' = stateTitle state