chiark / gitweb /
Build: Fix construction of manual pages.