chiark / gitweb /
man: move header file man pages from section 7 to 3