From dea7e35b9289dd3a3639febbc42168914cd71056 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Sun, 3 Aug 2014 01:00:25 +0200 Subject: [PATCH] generate_doc: Nicer syntax. --- scripts/generate_doc.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/generate_doc.py b/scripts/generate_doc.py index 80cbc426a..67146c1af 100755 --- a/scripts/generate_doc.py +++ b/scripts/generate_doc.py @@ -175,7 +175,8 @@ def _get_command_doc(name, cmd): output = ['[[cmd-{}]]'.format(name)] output += ['==== {}'.format(name)] syntax, defaults = _get_cmd_syntax(name, cmd) - output.append('+:{}+'.format(syntax)) + if syntax != name: + output.append('Syntax: +:{}+'.format(syntax)) output.append("") short_desc, long_desc, arg_descs = _parse_docstring(cmd.handler) output.append(' '.join(short_desc))