[Bug web/87050] Bump wwwdocs to html5

2018-10-31 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Janne Blomqvist changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug web/87050] Bump wwwdocs to html5

2018-10-26 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #12 from Janne Blomqvist --- Based on a recursive grep of the wwwdocs repo the only remaining use of "xhtml" is a variable "XHTML" in htdocs/style.mhtml which, AFAICS, doesn't any longer actually have anything to do with XHTML. A

[Bug web/87050] Bump wwwdocs to html5

2018-09-03 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #11 from Janne Blomqvist --- (In reply to Gerald Pfeifer from comment #10) > (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.

[Bug web/87050] Bump wwwdocs to html5

2018-09-02 Thread gerald at pfeifer dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #10 from Gerald Pfeifer --- Mostly done, cf. https://gcc.gnu.org/ml/gcc/2018-09/msg5.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

[Bug web/87050] Bump wwwdocs to html5

2018-08-26 Thread gerald at pfeifer dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #9 from Gerald Pfeifer --- (In reply to jos...@codesourcery.com from comment #6) > A replacement for MetaHTML is already available, we just need to switch to > using it. > > https://gcc.gnu.org/ml/gcc-patches/2018-06/msg00176.html

[Bug web/87050] Bump wwwdocs to html5

2018-08-24 Thread egallager at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Eric Gallager changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org,

[Bug web/87050] Bump wwwdocs to html5

2018-08-24 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #7 from Janne Blomqvist --- (In reply to jos...@codesourcery.com from comment #6) > A replacement for MetaHTML is already available, we just need to switch to > using it. > > https://gcc.gnu.org/ml/gcc-patches/2018-06/msg00176.html

[Bug web/87050] Bump wwwdocs to html5

2018-08-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #6 from joseph at codesourcery dot com --- A replacement for MetaHTML is already available, we just need to switch to using it. https://gcc.gnu.org/ml/gcc-patches/2018-06/msg00176.html

[Bug web/87050] Bump wwwdocs to html5

2018-08-24 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #5 from Janne Blomqvist --- I looked through some mails in the archives, and I learned that the current wwwdocs uses metahtml, which hasn't been maintained for years and years, and doesn't even compile anymore. Ugh! For an even more

[Bug web/87050] Bump wwwdocs to html5

2018-08-24 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #4 from Janne Blomqvist --- Sure, I can chip in a little, though I'm no html expert. Do you have some branch somewhere where you're working, or?

[Bug web/87050] Bump wwwdocs to html5

2018-08-22 Thread gerald at pfeifer dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Gerald Pfeifer changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug web/87050] Bump wwwdocs to html5

2018-08-22 Thread jb at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 --- Comment #2 from Janne Blomqvist --- The validation script that runs upon committing a change and sends email likely needs to change too. There is https://validator.github.io/validator/ that can be run as a batch script (needs java), or one

[Bug web/87050] Bump wwwdocs to html5

2018-08-21 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Jonathan Wakely changed: What|Removed |Added CC||gerald at gcc dot gnu.org --- Comment