From 3b9df4f79655f80acbb508f85181f795319801a9 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Fri, 17 Jul 2015 09:29:37 +0100 Subject: [PATCH] Fix IDL update from spec --- javascript/WebIDL/Makefile | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/javascript/WebIDL/Makefile b/javascript/WebIDL/Makefile index 77d54e21e..d53446a15 100644 --- a/javascript/WebIDL/Makefile +++ b/javascript/WebIDL/Makefile @@ -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 >>$@