.PHONY: run run: redbean/redbean-2.2.com redbean/redbean-2.2.com -D src redbean/redbean-2.2.com: wget --directory-prefix redbean https://redbean.dev/redbean-2.2.com chmod a+x redbean/redbean-2.2.com