Здравствуйте!
В .pdf-файле, сформированном системой texinfo, не отображаются русские символы. В .log-файле с результатами формирования pdf содержатся сообщения типа:
unknown document encoding: utf-8 /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map .. Missing character: There is no џ in font cmbx12!
Последовательность действий:
1. Формирую исходный .texinfo-файл, содержащий русские буквы и директивы: @documentlanguage ru @documentencoding utf-8
2. Формирую pdf из исходного .texinfo-файла: texi2pdf xxxx.texinfo
3. Получаю «нерусифицированный» результат (описан выше)
Не подскажете, как русифицировать pdf?
Дополнительно:
1. Использую ОС ubuntu с установленными exinfo-6.3 и texlive-full.
2. Думал, что куда-то нужно вписать директивы типа \usepackage[russian,english]{babel}, но куда вписать - не знаю