doc/gendoc.py
changeset 13077 6b8d2ee24ce2
parent 12814 58bc5024805d
child 13345 b8214d871338
equal deleted inserted replaced
13076:a861c7155f09 13077:6b8d2ee24ce2
    38         if shortopt:
    38         if shortopt:
    39             allopts.append("-%s" % shortopt)
    39             allopts.append("-%s" % shortopt)
    40         if longopt:
    40         if longopt:
    41             allopts.append("--%s" % longopt)
    41             allopts.append("--%s" % longopt)
    42         desc += default and _(" (default: %s)") % default or ""
    42         desc += default and _(" (default: %s)") % default or ""
    43         yield(", ".join(allopts), desc)
    43         yield (", ".join(allopts), desc)
    44 
    44 
    45 def get_cmd(cmd, cmdtable):
    45 def get_cmd(cmd, cmdtable):
    46     d = {}
    46     d = {}
    47     attr = cmdtable[cmd]
    47     attr = cmdtable[cmd]
    48     cmds = cmd.lstrip("^").split("|")
    48     cmds = cmd.lstrip("^").split("|")