chiark / gitweb /
Fix build issue (wrong <xref ..>..</link> tag)