Gavin, On Tue, Dec 18, 2018 at 11:40 AM Gavin Smith <[email protected]> wrote: > > On Tue, Dec 18, 2018 at 05:28:51AM -0800, Paul Hardy wrote: > > https://ftp.gnu.org/gnu/texinfo/ ...has a separate texinfo.tex file, >> with a later date... > > The later version is the latest version recommended for general use: it > is not a beta version.
Thank you, Paul Hardy
