PHP系のマニュアルはdocbookで書かれているのだが、分量が多いためビルドに時間がかかる。特にPHPマニュアルは時間単位でかかる。 ところが、翻訳作業をしていると、ビルドして出来上がりのHTMLを見たいこともまま有る。XMLファイルでは気がつかないような間…