chiark / gitweb /
Build system overhaul to conform to new standards.