19 |
|
|
20 |
(* Internationalization functions *) |
(* Internationalization functions *) |
21 |
|
|
22 |
|
open Printf2 |
23 |
|
|
24 |
type lang = |
type lang = |
25 |
AR |
AR |
26 |
| HY |
| HY |
726 |
enc_list := List.filter (fun enc -> enc <> charset) !enc_list; |
enc_list := List.filter (fun enc -> enc <> charset) !enc_list; |
727 |
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; |
728 |
List.iter (fun enc -> |
List.iter (fun enc -> |
729 |
Printf2.lprintf "Use encoding %s\n" enc; |
lprintf "Use encoding %s\n" enc |
|
flush stdout |
|
730 |
) !enc_list; |
) !enc_list; |
731 |
nenc := List.length !enc_list |
nenc := List.length !enc_list |
732 |
|
|