chiark / gitweb /
Drop obsolete local-pod-man script, now replaced by make %.view