Mac OS X 10.5 で po4a と OmegaT で TeX 文書を翻訳を参考に。
最初にファイルを作るのは
- そもそもTutorial.v.texはTutorial.texからmake tutorialとかで作る。CoqのMakefile参照。
~/usr/share/perl/po4a-0.41/po4a-gettextize -f latex -m Tutorial.v.tex -p Tutorial.v.pot
- 上記が通らない場合は po4a の LaTeX.pm, TeX.pm を無理に直したりする。po4a からは platex ではなく latex が呼ばれるのでスタイルも jsbook から book にしたり、フランス人の人名を ASCII の範囲にしたりなど最初に直す。
あとはOmegaTを使って翻訳。
~/coq/coq-8.2pl1/doc/tutorial/
にあるCoq_TutorialというOmegaTプロジェクトを開いて翻訳する。一段落したら訳文ファイル生成。cd ~/coq/coq-8.2pl1/doc/tutorial/
cp Coq_Tutorial/target/Tutorial.v.pot ja.pot
~/usr/share/perl/po4a-0.41/po4a-translate -f latex -m Tutorial.v.tex -p ja.pot -l ja.tex
- フォーマットを直す場合はbookじゃなくjsbookに直す。
platex ja.tex ; platex ja.tex ; dvipdfmx ja.dvi
No comments:
Post a Comment