Re: Current texinfo.tex breaks gawk doc

[Aharon Robbins]

Much thanks for the explanation and fixes. I'll try them out.
I probably won't get to this for another few days though.

Arnold