On Fri, Dec 04, 2020 at 08:49:55PM +0100, Christopher Dimech wrote: > Do you still think that the problem is with texinfo.tex?
No, you just haven't installed the file properly. If you don't know where to copy the file, then putting it in the same directory as your main Texinfo input file should work.