https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050
Gerald Pfeifer <gerald at pfeifer dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2018-08-22 CC| |gerald at pfeifer dot com Assignee|unassigned at gcc dot gnu.org |gerald at pfeifer dot com Ever confirmed|0 |1 --- Comment #3 from Gerald Pfeifer <gerald at pfeifer dot com> --- Agreed, and I've started to work on this earlier this year. There are a number of posts to gcc-patches@ with work in that direction; as usual the devil is in the detail (such as <a name="..."> being replaced by <... id="...">, alas with different restrictions). Are you willing to help with the conversation of the HTML pages?