chiark / gitweb /
man pages: replace 'device-path' by 'devpath'