chiark / gitweb /
Install and distribute the manuals.