Re: i18n for yacc backend messages

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

Reply via email to