diff options
-rwxr-xr-x | Documentation/gen_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py index eadea9e189..b85e2e3eab 100755 --- a/Documentation/gen_commands.py +++ b/Documentation/gen_commands.py @@ -103,7 +103,7 @@ def gen_rst(name, cmd): 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])) |