chiark / gitweb /
build-sys: no longer rebuild various bits and pieces such as man pages each time...