From 509360d40dcac80a58f0cb645c7a844ee64f75b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Minier?= Date: Thu, 16 Jul 2009 00:02:41 +0200 Subject: [PATCH] Document target dist as optional in the help output --- requestsync | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/requestsync b/requestsync index 593b1be..1f095a7 100755 --- a/requestsync +++ b/requestsync @@ -431,7 +431,7 @@ def edit_report(subject, body, changes_required=False): if __name__ == '__main__': # Our usage options. usage = "Usage: %prog [-d distro] [-k keyid] [-n] [--lp] [-s] [-e] " - usage += " [base version]" + usage += " [ [base version]]" optParser = OptionParser(usage) optParser.add_option("-d", type = "string",