chiark / gitweb /
man: extend references to exec man page