chiark / gitweb /
configure.in: Put the auxiliary scripts in a useful place.