doc/gendoc.py
changeset 8546 a33d19dcf906
parent 7376 fc06bd17c985
child 9021 2ccb527c7b1a
equal deleted inserted replaced
8545:3682a19bb637 8546:a33d19dcf906
    42     d['opts'] = list(get_opts(attr[1]))
    42     d['opts'] = list(get_opts(attr[1]))
    43 
    43 
    44     s = 'hg ' + cmds[0]
    44     s = 'hg ' + cmds[0]
    45     if len(attr) > 2:
    45     if len(attr) > 2:
    46         if not attr[2].startswith('hg'):
    46         if not attr[2].startswith('hg'):
    47             s += attr[2]
    47             s += ' ' + attr[2]
    48         else:
    48         else:
    49             s = attr[2]
    49             s = attr[2]
    50     d['synopsis'] = s
    50     d['synopsis'] = s
    51 
    51 
    52     return d
    52     return d