chiark / gitweb /
rules: use consistently OPTIONS+=