chiark / gitweb /
Make it possible to install man pages and html files separately