chiark / gitweb /
generate: Avoid $err_file undefined warning during startup