chiark / gitweb /
Make it more clear that use of configure (and autoreconf) is optional