chiark / gitweb /
build-sys: install more docs