chiark / gitweb /
Makefile: add git push to publication target