[Bug web/87050] Bump wwwdocs to html5

[gerald at pfeifer dot com]

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.