+split = "custom"
+include_path = ['.',]
+master_map_file = ''
+known_missing_files = []
+known_missing_files_file = ''
+docs_without_directories = ['changes', 'music-glossary']
+suppress_output = False
+initial_map = {}
+for opt in options_list:
+ o = opt[0]
+ a = opt[1]
+ if o == '-h' or o == '--help':
+ help (help_text % vars ())
+ if o == '-I' or o == '--include':
+ if os.path.isdir (a):
+ include_path.append (a)
+ else:
+ path_list = a.split('/')
+ file_name = path_list[len(path_list)-1]
+ if not (file_name in docs_without_directories):
+ print a, 'is not a directory.'
+ print 'Please consider adding it to the list of '
+ print 'known missing files in extract_texi_filename.py.'
+ elif o == '-o' or o == '--output':
+ outdir = a
+ elif o == '-s' or o == '--split':
+ split = a
+ elif o == '-m' or o == '--master-map-file':
+ if os.path.isfile (a):
+ master_map_file = a
+ elif o == '--known-missing-files':
+ if os.path.isfile (a):
+ known_missing_files_file = a
+ else:
+ print 'Missing files list file not found: ', a
+ elif o == '-q' or o == '--quiet':
+ suppress_output = True
+ else:
+ raise Exception ('unknown option: ' + o)
+
+if known_missing_files_file:
+ missing_files = open (known_missing_files_file, 'r')
+ known_missing_files = missing_files.read().splitlines()
+ missing_files.close()