chiark / gitweb /
Makefiles: fix .PHONY for man page target