[whatwg/dom] [infra] Integrating generation of W3C-ready review drafts into build pipeline (#832) from Michael[tm] Smith on 2020-02-10 (public-webapps-github@w3.org from February 2020)

From: Michael[tm] Smith <notifications@github.com>
Date: Mon, 10 Feb 2020 10:02:43 -0800
To: whatwg/dom <dom@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <whatwg/dom/issues/832@github.com>

https://github.com/whatwg/dom/tree/review-drafts-w3c-additions has the W3C-ready review-draft output for the 2019-06 review draft of the DOM spec — and specifically in https://github.com/whatwg/dom/commit/be3bc514d6db2c158d450bbdcfae23d3b3d9c40f, the HTML source for the W3C additions, and the build script used for inserting those additions.

Related: https://github.com/whatwg/whatwg.org/tree/sideshowbarker/deploy.sh-w3c-additions has some temporary changes to the deploy.sh script that are necessary for generating the MDN annotations in output, until such as time as Bikeshed merges the MDN-annotation-support patch.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/issues/832

Received on Monday, 10 February 2020 18:02:46 UTC