Attempt to extract the uievents IDL

This commit is contained in:
Vincent Sanders 2015-07-23 21:26:46 +01:00
parent 70fd706e65
commit bdd9f59573

View File

@ -12,7 +12,7 @@
.PHONY:all clean
all: dom.idl html.idl
all: dom.idl html.idl uievents.idl
.INTERMEDIATE:dom-spec.html dom-spec.xml dom-idl.html html-spec.html html-spec.xml html-idl.html
@ -23,8 +23,14 @@ dom-spec.html:
html-spec.html:
curl -s https://html.spec.whatwg.org/ -o $@
uievents-spec.html:
curl -s https://w3c.github.io/uievents/ -o $@
%-spec.xml: %-spec.html
-tidy -q -f $@.errors --new-blocklevel-tags header,hgroup,figure,time,main,nav,svg,rect,text,image,mark,figcaption -o $@ -asxml $<
-tidy -q -f $@.errors --new-blocklevel-tags header,hgroup,figure,time,main,nav,svg,rect,text,image,mark,figcaption,section -o $@ -asxml $<
uievents-idl.html: uievents-spec.xml
hxselect 'dl.idl' < $< | hxremove 'p' >> $@
%-idl.html: %-spec.xml
hxselect 'pre[class="idl"]' < $< > $@
@ -37,6 +43,5 @@ html-spec.html:
cat $< | w3m -dump -T text/html >>$@
clean:
${RM} dom.idl html.idl dom-spec.html dom-spec.xml dom-idl.html html-spec.html html-spec.xml html-idl.html