(printable_usage)
| 472 | |
| 473 | |
| 474 | def formal_usage(printable_usage): |
| 475 | pu = printable_usage.split()[1:] # split and drop "usage:" |
| 476 | return '( ' + ' '.join(') | (' if s == pu[0] else s for s in pu[1:]) + ' )' |
| 477 | |
| 478 | |
| 479 | def extras(help, version, options, doc): |
no outgoing calls
searching dependent graphs…