On Sun, Oct 11, 2026 at 04:02:35PM +0200, Hilmar Preusse wrote: > On 10/10/26 12:41 AM, Gavin Smith wrote: > > Hello, > > > Were you able to check if the manual built with version 2026-10-07.17? I > > know > > you checked with the version on ftp.gnu.org but I am not sure if you checked > > with my attempted fix. > > > > Not sure, if my answer is still relevant, but yes, I checked with the > version from git and it worked.
Thanks for checking! > > > > It would be useful for us as if it builds correctly, it gives us more > > confidence that we should upload the latest revision to ftp.gnu.org. > > > > Hilmar
