Здравствуйте!
В html-файле, полученном из исходного texinfo-файла командой
makeinfo --html <имя исходного texinfo-файла>
содержатся слова на английском языке (типа «Table of Contents», «Next» и пр.), которые я хотел бы заменить русскими словами («Оглавление», «Далее» и пр.).
Из раздела 17 «Поддержка разных языков» руководства по Texinfo 4.0 я понял, что включать в исходный texinfo-файл команду
@documentlanguage ru
и переопределять английские слова в файле «txi-ru.tex» нет смысла, так как в этом руководстве сказано:
В настоящее время эта команда игнорируется при выводе в Info и HTML
Скажите, пож-та, как тогда переопределить английские слова в формируемом html?
PS1: Я всё-таки пробовал переопределять слова в файле «txi-ru.tex»:
\gdef\putwordTOC{Оглавление}
\gdef\putwordTableOfContents{Оглавление}
но это не дало результата. Возможно, я что-то не так делаю.
PS2: У меня ubuntu и texinfo версии 6.3.