Re: i18n for yacc backend messages

[Hans Aberg]

At 10:05 +0200 2005/04/18, Akim Demaille wrote:
> That could be made using %printer.  The only problem is that we would
> like to output into a string, whereas %printer is made for streams :(

Would you mind enlighten me as to how %printer works? -- It seems to 
not be documented.
--
  Hans Aberg