w3c/elements-of-html — pull request #8 by Boldewyn (2014-07-07 10:50:39+00:00)
Title: add tool for automated creation of JSON

The elements.json is auto-updated from index.html by
means of bin/create_json.js. It's a node.js script,
and its prerequisites (only jsdom) are automatically
fetched, when the Makefile is invoked:

$ make

Note, that I removed the angle brackets around ``, too, for consistency.