> I would like to thank Daniel Johnson and Hans de Rijck, who both posted
> the algorithm for converting Latin1 to unicode,
Just for the record, if your editor does not support recoding, the
recode tool will help
recode latin1..utf8
or using Python
import codecs
import sys
de_latin1 = codecs.getdecoder ('latin1')
en_utf_8 = codecs.getencoder ('utf_8')
print en_utf_8 (de_latin1 (open (sys.argv[1]).read ())[0])[0]
Jan.
--
Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien | http://www.lilypond.org
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user
