chiark / gitweb /
man: rework man page generation in makefile