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