Index: third_party/liblouis/liblouis_list_tables.py |
diff --git a/third_party/liblouis/liblouis_list_tables.py b/third_party/liblouis/liblouis_list_tables.py |
index e42e5daee21b3fc0224d8740049000371acf4542..9cd3fb8b9ac8355fd387d19a823eceee27ab9309 100755 |
--- a/third_party/liblouis/liblouis_list_tables.py |
+++ b/third_party/liblouis/liblouis_list_tables.py |
@@ -66,7 +66,9 @@ def DoMain(argv): |
parser.prog = 'liblouis_list_tables' |
parser.set_usage('usage: %prog [options] listfile') |
parser.add_option('-D', '--directory', dest='directories', |
- action='append', help='Where to search for table files') |
+ action='append', help='Where to search for table files') |
+ parser.add_option('-e', '--extra_file', dest='extra_files', action='append', |
+ default=[], help='Extra liblouis table file to process') |
(options, args) = parser.parse_args(argv) |
if len(args) != 1: |
@@ -77,7 +79,10 @@ def DoMain(argv): |
tables = LoadTablesFile(args[0]) |
output_set = set() |
for table in tables: |
- ProcessFile(output_set, table['fileName'], options.directories) |
+ for name in table['fileNames'].split(','): |
+ ProcessFile(output_set, name, options.directories) |
+ for name in options.extra_files: |
+ ProcessFile(output_set, name, options.directories) |
return '\n'.join(output_set) |