chiark / gitweb /
Do not ship config.cache (run distclean from make dist). Rearrange