parser.leg: fix Definition title

This commit is contained in:
Michael Teichgräber 2012-04-24 00:53:54 +02:00
parent 0248d52f7e
commit 42e21972e8

View File

@ -811,7 +811,7 @@ DefinitionList = &{ p.extension.Dlists }
( Definition { a = cons($$, a) } )+ ( Definition { a = cons($$, a) } )+
{ $$ = mk_list(DEFINITIONLIST, a) } { $$ = mk_list(DEFINITIONLIST, a) }
Definition = &( (!Defmark RawLine)+ BlankLine? Defmark) Definition = &( (NonindentSpace !Defmark Nonspacechar RawLine) BlankLine? Defmark)
a:StartList a:StartList
( DListTitle { a = cons($$, a) } )+ ( DListTitle { a = cons($$, a) } )+
( DefTight | DefLoose ) { ( DefTight | DefLoose ) {