[Bug web/87050] Bump wwwdocs to html5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Janne Blomqvist changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #13 from Janne Blomqvist --- 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!
[Bug web/87050] Bump wwwdocs to html5
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 big thanks to Gerald!
[Bug web/87050] Bump wwwdocs to html5
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. :-} 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. Indeed, it seems I grossly underestimated the amount of work required. Thanks for doing it!
[Bug web/87050] Bump wwwdocs to html5
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 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.
[Bug web/87050] Bump wwwdocs to html5
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 So, I took this report as nudge to speed up completing the transition from XHTML to HTML 5 that I started earlier this year and expect to be complete (short of, perhaps, our main page) by next weekend. That should, as a side effect, allow making David's nice script even a bit simpler. :-)
[Bug web/87050] Bump wwwdocs to html5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Eric Gallager changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org, ||egallager at gcc dot gnu.org --- Comment #8 from Eric Gallager --- (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 cc-ing its author
[Bug web/87050] Bump wwwdocs to html5
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 Yes, I did see that. I was perhaps a bit unclear, it just got me thinking if it would be worth broadening the scope from "just" a xhtml->html5 conversion, and if so, what that could be.
[Bug web/87050] Bump wwwdocs to html5
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
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 drastic solution than the proposed xhtml -> html5 conversion, what about converting to use, say, sphinx (www.sphinx-doc.org)? There are certainly other tools for generating static websites, but sphinx is maintained and fairly widely used for software documentation style sites. E.g. everything on readthedocs.org, and the Linux kernel (https://lwn.net/Articles/692704/ and https://www.kernel.org/doc/html/latest/ ). I'm slightly biased, as we use sphinx (with readthedocs, but with our own DNS name) for a project at work, and we're quite happy with it. The feasibility of this of course depends on being able to convert the existing html docs to rst (or markdown) in some (semi-)automated fashion. Maybe pandoc is up to it..? If you think this is not a completely mad idea, I can have a go at it and see if I get some preliminary conversion done with a modest amount of effort. (and yes, sphinx does generate html5, so using sphinx would fix this PR as well. :) )
[Bug web/87050] Bump wwwdocs to html5
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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Gerald Pfeifer 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 --- 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 being replaced by <... id="...">, alas with different restrictions). Are you willing to help with the conversation of the HTML pages?
[Bug web/87050] Bump wwwdocs to html5
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 can use a publically available hosted service (a few listed on the page above).
[Bug web/87050] Bump wwwdocs to html5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050 Jonathan Wakely changed: What|Removed |Added CC||gerald at gcc dot gnu.org --- Comment #1 from Jonathan Wakely --- Makes sense to me. CCing Gerald.