jquery.min.js: jquery.js
	php ../../maintenance/minify.php $< --outfile $@
