chiark / gitweb /
configure: Fix formatting.