chiark / gitweb /
configure.ac: Add a --without-python option.