chiark / gitweb /
mkrules: Handle multiple files with the same metrics.