(section)
| 468 | |
| 469 | |
| 470 | def formal_usage(section): |
| 471 | _, _, section = section.partition(':') # drop "usage:" |
| 472 | pu = section.split() |
| 473 | return '( ' + ' '.join(') | (' if s == pu[0] else s for s in pu[1:]) + ' )' |
| 474 | |
| 475 | |
| 476 | def extras(help, version, options, doc): |