compilation error of japanese php manual

Hello, I found some compilation error of japanese php manual on http://www.php.net/manual/ja/build.log. These errors shown in below are caused by lack of definition of element name 'refsynopsisdiv'. I can found this definition in common/dbl1ja.dsl of my linux box. I suspect that docbook stylesheet in php.net lacks this definition. Please check it. Thank you, Rui touch .manual.xml CONFIG_FILES=manual.xml CONFIG_HEADERS= ./config.status config.status: creating manual.xml SP_ENCODING=XML SP_CHARSET_FIXED=YES nsgmls -wno-idref -i lang-ja -s /local/mirror/phpdoc/phpdocxml.dcl manual.xml >>> running make mirror-files ... SP_ENCODING=XML SP_CHARSET_FIXED=YES /usr/bin/jade -wno-idref -d phpweb.dsl -V use-output-dir -t sgml /local/mirror/phpdoc/phpdocxml.dcl manual.xml /usr/bin/jade:/local/mirror/phpdoc/ja/functions/com.xml:17:3:E: gentext-ja-element-name: 不明な要素名: refsynopsisdiv /usr/bin/jade:/local/mirror/phpdoc/ja/functions/com.xml:155:3:E: gentext-ja-element-name: 不明な要素名: refsynopsisdiv /usr/bin/jade:/local/mirror/phpdoc/ja/pear/pear.xml:17:3:E: gentext-ja-element-name: 不明な要素名: refsynopsisdiv /usr/bin/jade:/local/mirror/phpdoc/ja/pear/pear.xml:241:3:E: gentext-ja-element-name: 不明な要素名: refsynopsisdiv -- ----------------------------------------------------- Rui Hirokawa <louis@cityfujisawa.ne.jp> <hirokawa@php.net>