chiark / gitweb /
NEWS: fix directory name