spec2json

Extract section metadata and algorithm steps from specification HTML documents as JSON.

Installation

Install from PyPI:

pip3 install spec2json

Usage

See spec2json --help.

Example:

spec2json --numbered https://tc39.es/ecma262/ https://tc39.es/ecma402/ > ecmascript.json

Supported formats

• Bikeshed (various Web specs),
• Ecmarkup (ECMAScript)
• Wattsi (HTML standard)