chiark / gitweb /
install: when determining where default.target points to, accept a file instead of...