chiark / gitweb /
build-sys: run 'make update-man-list'