chiark / gitweb /
Actually write output files.