make it easier to get wmlindent --help

This commit is contained in:
Patrick Parker 2007-07-07 22:17:36 +00:00
parent e6d9458cd2
commit 1f045db8dd

View file

@ -217,12 +217,12 @@ def convertor(linefilter, arglist):
os.rename(filename + ".out", filename)
if __name__ == '__main__':
(options, arguments) = getopt.getopt(sys.argv[1:], "d?v",
['dryrun', 'verbose'])
(options, arguments) = getopt.getopt(sys.argv[1:], "h?dv",
['help', 'dryrun', 'verbose'])
verbose = 0
dryrun = False
for (opt, val) in options:
if opt == "-?":
if opt in ('-?', '-h', '--help'):
print __doc__
sys.exit(0)
elif opt in ('-d', '--dryrun'):