| # Make single-file jslint script out of main script (from jslint.com, | |
| # patched by us to tweak its behavior, as it configurability leaves much | |
| # to be desired) and Rhino support module. Needed because Rhino accepts | |
| # only single file as script. | |
| jslint.js: fulljslint.js rhino.js | |
| cat $^ >$@ |