chiark / gitweb /
build, debian/: Add a `configure' script to make things easier.