chiark / gitweb /
allow final assignment for OPTIONS:="nowatch"