Makefile: update make deploy

Didn’t do a deploy for a while now, which is good. ;-)