https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050
--- Comment #10 from Gerald Pfeifer <gerald at pfeifer dot com> --- Mostly done, cf. https://gcc.gnu.org/ml/gcc/2018-09/msg00005.html And for the actual conversion, cf. https://gcc.gnu.org/ml/gcc-patches/2018-09/msg00026.html The sole page not labeled as HTML 5 now is our main page, which requires a bit more work, but that doesn't appear pressing. And I'll need to improve one or the other page a bit still in the coming days. (In reply to Janne Blomqvist from comment #0) > So apart from the headers, little work ought to be needed for the > conversion itself. Well, no. :-} https://gcc.gnu.org/ml/gcc-patches/2018-09/ speaks a different language, and that's just part of it, after all I did the last year(s) already.
