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