diff --git a/scripts/generate_doc.py b/scripts/generate_doc.py index e0f3840cd..3d3b92ddb 100755 --- a/scripts/generate_doc.py +++ b/scripts/generate_doc.py @@ -130,6 +130,8 @@ def _get_cmd_syntax(name, cmd): elif maxargs is None or i <= maxargs: words.append('[<{}>]'.format(arg)) i += 1 + if argspec.varargs is not None: + words.append('[<{name}> [...]]'.format(name=argspec.varargs)) return (' '.join(words), defaults)