mirrors/netsurf
1
0
Fork 0
mirror of https://github.com/netsurf-browser/netsurf synced 2024-12-27 06:19:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix IDL update from spec

Browse Source
This commit is contained in:
Vincent Sanders 2015-07-17 09:29:37 +01:00
parent 989bc6e190
commit 3b9df4f796
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
javascript/WebIDL/Makefile
View File

@ -18,19 +18,23 @@ all: dom.idl html.idl
dom-spec.html:
curl -s http://dom.spec.whatwg.org/ -o $@
curl -s https://dom.spec.whatwg.org/ -o $@
html-spec.html:
curl -s http://www.whatwg.org/specs/web-apps/current-work/ -o $@
curl -s https://html.spec.whatwg.org/ -o $@
%-spec.xml: %-spec.html
-tidy -q -f $@.errors --new-blocklevel-tags header,hgroup,figure -o $@ -asxml $<
-tidy -q -f $@.errors --new-blocklevel-tags header,hgroup,figure,time,main,nav,svg,rect,text,image,mark,figcaption -o $@ -asxml $<
%-idl.html: %-spec.xml
hxselect pre.idl < $< > $@
hxselect 'pre[class="idl"]' < $< > $@
%.idl: %-idl.html
cat $< | w3m -dump -T text/html >$@
@echo "// Retrived from " >$@
@echo "// $$(date)" >>$@
@echo "" >>$@
@echo "" >>$@
cat $< | w3m -dump -T text/html >>$@