chiark / gitweb /
Use correct directory for installation.