Raymond Toy <toy@rtp.ericsson.se> writes:
> Can you tell me where I can get a copy of texinfo.tex version 4.2 that
> you said works ok?
You can get the latest version¹ from
ftp://ftp.gnu.org/gnu/texinfo.tex
(It turned out that it wasn't actually included in my Texinfo package,
but it came with TeTeX instead).
¹ \texinfoversion{2002-06-04.06}