chiark / gitweb /
avoid regenerating defsincdate (use shipped file)