chiark / gitweb /
tmpdir: Fix usage message.