chiark / gitweb /
man: html - cross-ref man page references and add Index link