LaTeX reader: Skip everything after \end{document}.

This commit is contained in:
John MacFarlane 2012-02-05 08:46:04 -08:00
parent 79f1594470
commit c54c3d50b0

View file

@ -653,7 +653,7 @@ rawLaTeXInline = do
environments :: M.Map String (LP Blocks)
environments = M.fromList
[ ("document", env "document" blocks)
[ ("document", env "document" blocks <* skipMany anyChar)
, ("letter", env "letter" letter_contents)
, ("center", env "center" blocks)
, ("tabular", env "tabular" simpTable)