Issue #1979: Add generation of JSON for widget specs which is then used to create MD.#2193

Merged

SylvainCorlay merged 5 commits intojupyter-widgets:masterfrom

reggied:jsonspec

Jan 10, 2020

Commits on Jan 10, 2020

Add generation of JSON which is then used to create markdown.

Reggie Dugard
authored and
SylvainCorlay
committed
Create latest markdown using new generate-spec.py

Reggie Dugard
authored and
SylvainCorlay
committed
add the option to generate a json file, and commit the current json file in the repo.

jasongrout
authored and
SylvainCorlay
committed
Update tests for the stored json spec

jasongrout
authored and
SylvainCorlay
committed
Output markdown
SylvainCorlay
committed