This is what I have used git clone https://git.savannah.gnu.org/git/texinfo.git
> Sent: Friday, December 04, 2020 at 6:16 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: Latest Development Version - @image with @value > > On Fri, Dec 04, 2020 at 05:57:41PM +0100, Christopher Dimech wrote: > > Let me check again. Any hints on how to know which one is being used? > > > > texi2pdf 03aCh-Chmed-html.texi > > This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) > > (preloaded format=pdfetex) > > restricted \write18 enabled. > > entering extended mode > > > > (./03aCh-Chmed-html.texi (/home/hagbard/01cuneus/tdr/03ch/texinfo.tex > > Loading texinfo [version 2020-10-24.12]: pdf, fonts, markup, glyphs, > > It's this line here. The latest version is 2020-11-25.18. >