diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py index eadea9e..b85e2e3 100755 --- a/Documentation/gen_commands.py +++ b/Documentation/gen_commands.py @@ -103,7 +103,7 @@ out.append('.. _command_%s:' % name) out.append('') if 'c_desc' in cmd: - out.append("%s (%s)" % (name, ''.join(cmd['c_desc']).strip())) + out.append("%s - %s" % (name, ''.join(cmd['c_desc']).strip())) else: out.append("%s" % (name,)) out.append('='*len(out[-1]))