chiark / gitweb /
make build reproducible by fixing sort order in docs