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.
