chiark / gitweb /
man: standard-conf: change directory reference to wildcard