chiark / gitweb /
man: generate xml not html for index