chiark / gitweb /
changed build arrangements, added version number, in preparation for productisation