chiark / gitweb /
generate: Fix an erroneous comment