[Bug web/87050] Bump wwwdocs to html5

[jb at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050

Janne Blomqvist <jb at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #13 from Janne Blomqvist <jb at gcc dot gnu.org> ---
I just committed an obvious patch to rename the XHTML var in style.mhtml to
NOSTYLE, and with that, all occurences of XHTML in wwwdocs have been exorcised
(except gitweb, but that of course comes from upstream).

Once again, a big thanks to Gerald!