chiark / gitweb /
Don't include the tracing option in the help if not compiled in.