chiark / gitweb /
update: write cache file if anything has changed it