%name-prefix: manual not consistent with bison

[Rui Maciel]

I've just noticed that the manual entry on the %name-prefix option isn't 
consistent with the way Bison handles this option, as, while the manual 
states[1] that the option should be used like:

%name-prefix "prefix"

When Bison stumbles on that entry it throws an error. On the other hand, it 
accepts the following:

%name-prefix = "prefix"


Another aspect which would be nice to have on that part of the manual is a 
reference to the implications that option has on the demands it imposes on the 
lexer.


Rui Maciel