cat jslint.js rhino.js >$@.tmp
mv $@.tmp $@
+.PHONY: install clean
install: rhinoed_jslint.js jslint
install -d -m 0755 ${DESTDIR}/usr/share/${PACKAGE}
install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js
install -d -m 0755 ${DESTDIR}/usr/bin
install -m 0755 jslint ${DESTDIR}/usr/bin
+
+clean:
+ rm -f rhinoed_jslint.js