chiark / gitweb /
(manpages): Fix inclusion of `defs.man'.