chiark / gitweb /
configure: fix typo