724 |
enc_list := List.filter (fun enc -> enc <> charset) !enc_list; |
enc_list := List.filter (fun enc -> enc <> charset) !enc_list; |
725 |
enc_list := if (charset <> "UTF-8") then charset::!enc_list else !enc_list; |
enc_list := if (charset <> "UTF-8") then charset::!enc_list else !enc_list; |
726 |
List.iter (fun enc -> |
List.iter (fun enc -> |
727 |
Printf.printf "Use encoding %s\n" enc; |
Printf2.lprintf "Use encoding %s\n" enc; |
728 |
flush stdout |
flush stdout |
729 |
) !enc_list; |
) !enc_list; |
730 |
nenc := List.length !enc_list |
nenc := List.length !enc_list |