chiark / gitweb /
build: Use new separate auto-version tool.