chiark / gitweb /
Fix autoconf bugs