What is the encoding supposed to be for the info files
in de, es, etc.?
I.e., in de is it always de_DE.ISO-8859-1 or does the
encoding depend on the user's locale (e.g. if my locale
a UTF-8 locale, should the encoding be UTF-8 when I
build the info files in de?).
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.