On Fri, Dec 04, 2020 at 10:46:44PM +0100, Christopher Dimech wrote: > I did a git clone. Where do you put the file? Apologies, but I cannot > determine > where texinfo.tex is located.
It is at doc/texinfo.tex in the git repository.
On Fri, Dec 04, 2020 at 10:46:44PM +0100, Christopher Dimech wrote: > I did a git clone. Where do you put the file? Apologies, but I cannot > determine > where texinfo.tex is located.
It is at doc/texinfo.tex in the git repository.