On Wed, 8 Oct 2025 at 19:08, Martin Uecker via Gcc <gcc@gcc.gnu.org> wrote: > > > Does anybody have an idea what might have gone wrong here? The 'make html' step is failing, probably because of what Richi fixed at r16-4286-gc5bee7e24d5ccf