mirror of
https://git.launchpad.net/ubuntu-dev-tools
synced 2025-05-10 00:11:29 +00:00
Document target dist as optional in the help output
This commit is contained in:
parent
685b1ead09
commit
509360d40d
@ -431,7 +431,7 @@ def edit_report(subject, body, changes_required=False):
|
|||||||
if __name__ == '__main__':
|
if __name__ == '__main__':
|
||||||
# Our usage options.
|
# Our usage options.
|
||||||
usage = "Usage: %prog [-d distro] [-k keyid] [-n] [--lp] [-s] [-e] "
|
usage = "Usage: %prog [-d distro] [-k keyid] [-n] [--lp] [-s] [-e] "
|
||||||
usage += "<source package> <target release> [base version]"
|
usage += "<source package> [<target release> [base version]]"
|
||||||
optParser = OptionParser(usage)
|
optParser = OptionParser(usage)
|
||||||
|
|
||||||
optParser.add_option("-d", type = "string",
|
optParser.add_option("-d", type = "string",
|
||||||
|
Loading…
x
Reference in New Issue
Block a user