-
Notifications
You must be signed in to change notification settings - Fork 161
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Moving specs to modern infrastructure [missing: html-differences] #2
Comments
Another thing I've started doing with help from @sideshowbarker is running the HTML checker on the output. That's quite nice to have: |
You'll have to do Console. I don't have access to that server. |
This is for consistency with the rest of the WHATWG spec ecosystem. We may consider moving back in the future, but we should do so in concert with the rest. See whatwg/meta#2.
This moves the deploy process to be in line with most other WHATWG specifications; see whatwg/meta#2. It also adds the missing dfn.js file to get popups when clicking on <dfn> elements and makes other small tweaks.
This moves the deploy process to be in line with most other WHATWG specifications; see whatwg/meta#2. It also adds the missing dfn.js file to get popups when clicking on <dfn> elements and makes other small tweaks.
Books and Figures are also missing I just realized. @foolip and I are looking into that. |
We ended up not doing that, because it would require first converting to Bikeshed. I think we should leave it be for now. |
That is, unless @tabatkins wants to convert them :) (He's said that he's become very good at it.) |
IIRC main problem with html-differences is that it cross-references lots of terms from HTML that HTML doesn't properly export. |
Books and Figures are also not web-relevant specs; Håkon moved them out of the CSSWG when we tried to make him cut the spec to things browsers were actually willing to touch. |
From poking around in whatwg/misc-server#7, I've found these *.spec.whatwg.org and *.idea.whatwg.org that don't use https://resources.whatwg.org/build/deploy.sh but rather some other deploy.sh:
How much unification is worth attempting here? One thing that that'd help compat, encoding and url is to teach https://resources.whatwg.org/build/deploy.sh about an Beyond that, having to change the deploy servers in so many places is a bit of effort. Would it make sense to separate the build and the deploy, so that the deploy bits (decoding the ssh key, rsync) are shared between more scripts? |
Oh, that explains why the lists in this issue didn't make as much sense as I though they should. Thanks :) |
This is fixed by whatwg/misc-server#100. |
Excluding HTML, since it is a special duckling, all specs should ideally:
If all of these become true we can start making some nice assumptions, e.g. we can move some script elements into our Bikeshed boilerplate.
What's missing?
The text was updated successfully, but these errors were encountered: