chiark / gitweb /
Remove redundant words in configure output. Reported by Colin Watson.