Document how to build the PDF documentation (for Japanese and Russian).