On Sat, Oct 31, 2020 at 12:35:42PM +0100, Christopher Dimech wrote: > > C* But when there is an official release, one would not need to > store locally. Am I right? I never used to put the file in local > directory for official releases before.
I am not sure how you got the new releases before, but in most cases people do not build and install texinfo from source by themselves, and those who do also install texinfo.tex manually. In most cases, texinfo is packaged as part of a packaging system, which depends on the platform and most users get new versions like that. In general, users willing to test/use prereleases may install from source, but it probably amounts to a small number of people. -- Pat
