chiark / gitweb /
Makefile: Better `install' targets, with hostnames only.