#JQUERY_URL= http://code.jquery.com/jquery-1.9.1.min.js
#JQUERY_URL= http://code.jquery.com/jquery-1.8.3.min.js
#JQUERY_URL= http://code.jquery.com/jquery-1.7.2.min.js
-#JQUERY_URL= http://code.jquery.com/jquery-1.6.4.min.js
-#JQUERY_URL= http://code.jquery.com/jquery-1.4.4.min.js
JQUERY_UI_URL= http://code.jquery.com/ui/1.10.3/jquery-ui.js
#JQUERY_UI_URL= http://code.jquery.com/ui/1.8.0/jquery-ui.min.js
rm -f $@.new
${JQUERY_JSON_FILE}:
- curl -sSf ${JQUERY_JSON_URL} -o $@
+ curl -sSf ${JQUERY_JSON_URL} -o $@.tmp
+ mv -f $@.tmp $@
${HANDLEBARS_FILE}:
- curl -sSf ${HANDLEBARS_URL} -o $@
+ curl -sSf ${HANDLEBARS_URL} -o $@.tmp
+ mv -f $@.tmp $@
${PP2_FILE}:
curl -sSf "${PP2_URL}" -o $@.tmp