1791 |
(* Let's get rid of charset aliases *) |
(* Let's get rid of charset aliases *) |
1792 |
let l = List.map (fun li -> List.hd li) (charset_list_from_language lang) in |
let l = List.map (fun li -> List.hd li) (charset_list_from_language lang) in |
1793 |
enc_list := List.map (fun c -> charset_to_string c ) l; |
enc_list := List.map (fun c -> charset_to_string c ) l; |
1794 |
(* Printf.printf "List of charmap used to convert the strings:\n"; |
(* Printf2.lprintf "List of charmap used to convert the strings:\n"; |
1795 |
List.iter (fun enc -> |
List.iter (fun enc -> |
1796 |
Printf.printf " Use encoding %s\n" enc; |
Printf2.lprintf " Use encoding %s\n" enc; |
1797 |
) !enc_list; |
) !enc_list; *) |
|
flush stdout; *) |
|
1798 |
nenc := List.length !enc_list |
nenc := List.length !enc_list |
1799 |
|
|
1800 |
(**********************************************************************************) |
(**********************************************************************************) |