doc/gendoc.py
changeset 11321 40c06bbf58be
parent 10282 08a0f04b56bd
child 11570 2d88369a27bf
equal deleted inserted replaced
11320:e4274f9f97c8 11321:40c06bbf58be
    23     else:
    23     else:
    24         desc = "    %s" % shortdesc
    24         desc = "    %s" % shortdesc
    25     return (shortdesc, desc)
    25     return (shortdesc, desc)
    26 
    26 
    27 def get_opts(opts):
    27 def get_opts(opts):
    28     for shortopt, longopt, default, desc in opts:
    28     for opt in opts:
       
    29         if len(opt) == 5:
       
    30             shortopt, longopt, default, desc, optlabel = opt
       
    31         else:
       
    32             shortopt, longopt, default, desc = opt
    29         allopts = []
    33         allopts = []
    30         if shortopt:
    34         if shortopt:
    31             allopts.append("-%s" % shortopt)
    35             allopts.append("-%s" % shortopt)
    32         if longopt:
    36         if longopt:
    33             allopts.append("--%s" % longopt)
    37             allopts.append("--%s" % longopt)