# 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 $^ >$@ |