Parse blanklines after macro definitions.

This commit is contained in:
John MacFarlane 2010-10-26 19:52:12 -07:00
parent 6b722d1b45
commit f870777c36

View file

@ -876,7 +876,7 @@ table = multilineTable False <|> simpleTable True <|>
-- | Parse a \newcommand or \renewcommand macro definition.
macro :: GenParser Char ParserState Block
macro = getState >>= guard . stateApplyMacros >>
pMacroDefinition >>= addMacro >> return Null
pMacroDefinition >>= addMacro >> blanklines >> return Null
-- | Add a macro to the list of macros in state.
addMacro :: Macro -> GenParser Char ParserState ()