5 if Sys.is_directory file then begin
6 let st = EI.read_dir file in
7 if st <> EI.read_index file then begin
8 Printf.eprintf "indexing: %S\n" file;
11 end else if Filename.extension file = ".mrc" then begin
12 Printf.eprintf "processing: %S\n" file;
13 EO.write_component (EI.read_file file)
15 Printf.eprintf "skipping: %S\n" file