Hi Benson,
This helps. However, the build script removes config.texi and then
copies all.texi into config.texi changing timestamps and forcing a
rebuild that requires makeinfo. This seems to have been encountered
elsewhere, for example https://github.com/spack/spack/pull/34173
The reason for doing this during the build is unclear to me. The
simplest fix is making a copy that preserves timestamps, but other
solutions such as not removing and replacing, or building just using
config.texi seem fine.
You are correct. I have gone ahead and applied the patch that you
submitted for PR 28909. (Sorry for the delay in reviewing it!)
Cheers
Nick
