chiark / gitweb /
cleanup ./configure installation directory options