Re: Minor documentation and message issues

[Frank Heckenbach]

I wrote:

> The manual states:
> 
>   The syntax of the various directives to declare symbols is as follows.
> 
>   @example
>   %token @var{tag}? ( @var{id} @var{number}? @var{string}? )+ ( @var{tag} ( 
> @var{id} @var{number}? @var{string}? )+ )*
>   %left  @var{tag}? ( @var{id} @var{number}?)+ ( @var{tag} ( @var{id} 
> @var{number}? )+ )*
>   %type  @var{tag}? ( @var{id} | @var{char} | @var{string} )+ ( @var{tag} ( 
> @var{id} | @var{char} | @var{string} )+ )*
>   %nterm @var{tag}? @var{id}+ ( @var{tag} @var{id}+ )*
>   @end example
> 
> I think the "@var{char}" option is missing in the "%token" and
> "%left" cases.

Also "@var{string}" in "%left".