gistfile1.txt

⚡ make
curl http://www.whatwg.org/specs/web-apps/current-work/dev-index > html5-full.html
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 5293k  100 5293k    0     0   283k      0  0:00:18  0:00:18 --:--:--  319k
ruby tidy.rb html5-full.html
Included stylesheet css/master.css
Included javascript fragment-links.js
Included javascript javascript/master.js
Included javascript javascript/prettify.js
python anolis/anolis \
	  --parser=lxml.html \
	  --filter=.impl \
	  --output-encoding="ascii" \
	  html5-full.html index.html
python html5-tools/spec-splitter/spec-splitter.py --html5lib-serialiser index.html ./public > LOG
Traceback (most recent call last):
  File "html5-tools/spec-splitter/spec-splitter.py", line 105, in <module>
    del short_header[2:]
TypeError: 'NoneType' object does not support item deletion
make: *** [LOG] Error 1