# | Line 72 | Line 72 | class RootFile: | |
---|---|---|
72 | def main(): | |
73 | files = [] | |
74 | for filename in arguments: files.append(RootFile(filename)) | |
75 | + | if len(files) == 0: |
76 | + | parser.print_help() |
77 | + | sys.exit(0) |
78 | process_directory("", files) | |
79 | if options.ext == "pdf": | |
80 | os.system("gs -q -dBATCH -dNOPAUSE -sDEVICE=pdfwrite " |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |