equal
deleted
inserted
replaced
3969 keep.append(sys.platform.lower()) |
3969 keep.append(sys.platform.lower()) |
3970 |
3970 |
3971 section = None |
3971 section = None |
3972 if name and '.' in name: |
3972 if name and '.' in name: |
3973 name, section = name.split('.', 1) |
3973 name, section = name.split('.', 1) |
|
3974 section = section.lower() |
3974 |
3975 |
3975 text = help.help_(ui, name, **opts) |
3976 text = help.help_(ui, name, **opts) |
3976 |
3977 |
3977 formatted, pruned = minirst.format(text, textwidth, keep=keep, |
3978 formatted, pruned = minirst.format(text, textwidth, keep=keep, |
3978 section=section) |
3979 section=section) |