| 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..fd05c555671436a5bbfc6f719a7fd77d2abc419a 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:
|
| @@ -78,6 +80,8 @@ def DoMain(argv):
|
| output_set = set()
|
| for table in tables:
|
| ProcessFile(output_set, table['fileName'], options.directories)
|
| + for name in options.extra_files:
|
| + ProcessFile(output_set, name, options.directories)
|
| return '\n'.join(output_set)
|
|
|
|
|
|
|