Re: [wwwdocs, patch] OpenMP update for gcc-13/changes.html + projects/gomp/

[Benson Muite via Gcc-patches]

On 2/24/23 04:02, Gerald Pfeifer wrote:
> On Thu, 23 Feb 2023, Tobias Burnus wrote:
>> PS: I also removed a stray </code>, but admittedly only after the
>> commit. I found it by manually running those through the w3 validator
>> site. However, I did not see an automatic email, either it takes longer
>> or does it no longer run? It did in the past!
> 
> You are right, and this is a sore / sad point: validator.w3.org that we
> used in the past now only supports interactive sessions. And they even
> broke support for the Referer header, so I also had to remove the checking 
> link I had embedded in all of our pages.
> 
> These days I invoke the validator (via a version of the original script) 
> when I see a commit. Which indeed leads to many orders of magnitude longer 
> delays.
> 
> Sadly I don't have a better alternative. :-(
> 
Could one of the following be used or used to generate a better workflow:
https://html-validate.org/usage/cli.html - written in Javascript, but
has a command line interface
https://github.com/validator/validator - packaged, but a little
cumbersome, may need a wrapper
https://github.com/w3c-validators/w3c_validators - Wrapper written in
Ruby, with a nice interface to validate a local file