diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-08-16 11:37:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-16 11:37:58 -0700 |
| commit | be0089d79840e0b12c113f745e505244ede1efaa (patch) | |
| tree | 070d7d08f9f85213414e48b41ad9dbe84eed0daf | |
| parent | 4ec06917c3a3632be4a935ffa0973092bd2621be (diff) | |
| parent | dc5c54fb6fd366b8c442ad8e1b6843294fbc033f (diff) | |
Merge pull request #489 from mpacer/json_make
Add spec.json generator to Makefile
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -17,6 +17,9 @@ spec.tex: spec.txt tools/template.latex spec.pdf: spec.tex xelatex $< +spec.json: spec.txt + python3 test/spec_tests.py --dump-tests < $< > $@ + npm: # Do a sanity check first on versions grep -q '"version": *"$(SPECVERSION)' package.json && \ |