chiark / gitweb /
build-sys: add 'man' target