utf8             1686 src/prt2pdf/prt2pdf.c           char * utf8 = decode_name_to_utf8 (platformID, encodingID, raw, length);
utf8             1689 src/prt2pdf/prt2pdf.c           if (utf8)
utf8             1691 src/prt2pdf/prt2pdf.c               int win_ok = is_win1252_compatible_utf8 (utf8);
utf8             1698 src/prt2pdf/prt2pdf.c                   best = utf8;
utf8             1702 src/prt2pdf/prt2pdf.c                 FREE (utf8);
utf8             1838 src/prt2pdf/prt2pdf.c           char * utf8 = decode_name_to_utf8 (platformID, encodingID, raw, length);
utf8             1840 src/prt2pdf/prt2pdf.c           if (utf8)
utf8             1842 src/prt2pdf/prt2pdf.c               int win_ok = is_win1252_compatible_utf8 (utf8);
utf8             1849 src/prt2pdf/prt2pdf.c                   best = utf8;
utf8             1853 src/prt2pdf/prt2pdf.c                 FREE (utf8);