Re: Current texinfo.tex breaks gawk doc

[Aharon Robbins]

Hi.

Just to confirm that using the current texinfo.tex everything is fine
again. Much thanks for the help.

Arnold