chiark / gitweb /
build-sys: check if manpage ids match file names