trying to regenerate the files (at least for naddy and myself, but not steven!), despite the fact that the tarball contains pregenerated ones, and this doesn't work with the old version of texinfo from base.
trying to regenerate the files (at least for naddy and myself, but not steven!), despite the fact that the tarball contains pregenerated ones, and this doesn't work with the old version of texinfo from base.