chiark / gitweb /
build-sys: use wildcard glob in update-man-list again