Move CORS from http://dev.w3.org/2006/waf/access-control/

whatwg · Aug 4, 2011 · 58a721a · 58a721a
commit 58a721a
Show file tree

Hide file tree

Showing 3 changed files with 4,293 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,17 @@
+ANOLIS = anolis
+
+all: Overview.html data/xrefs/network/cors.json
+
+Overview.html: Overview.src.html data Makefile
+	$(ANOLIS) --output-encoding=ascii --omit-optional-tags --quote-attr-values \
+	--w3c-compat --enable=xspecxref --enable=refs --w3c-shortname="cors" \
+	--filter=".publish" $< $@
+
+data/xrefs/network/cors.json: Overview.src.html Makefile
+	$(ANOLIS) --dump-xrefs=$@ $< /tmp/spec
+
+publish: Overview.src.html data Makefile
+	$(ANOLIS) --output-encoding=ascii --omit-optional-tags --quote-attr-values \
+	--w3c-compat --enable=xspecxref --enable=refs --w3c-shortname="cors" \
+	--filter=".dontpublish" --pubdate="$(PUBDATE)" --w3c-status=WD \
+	$< Overview.html