chiark / gitweb /
build: Install some more files to their eventual locations.